Make sure you have really cleanup every single path used in your Alphas and Zeros. If you have multiple nodes, you should check them. There’s no way remaining predicates if you do a remove operation rm -rf *. Something else is happening. Do a proper clean and let us know.
If it still happens, please give us a way to reproduce it.
Cheers.