Changed algorithm for enumerating restrictions in generalTestBF

New algorithm is much more efficient, and also fixed a bug that existed
in the old algorithm