fixed a become such impl bug. If the set is empty the subst is not possible
added 5 new tests/lines to test nondeterminism of CHOICE,SELECT,ANY,::,:()
(not implemented)