fixet nondet bug in sequence subst.: now the state is reverted at choice points and not resetet to the start of the sequence
+ test