implemented nondeterministic version of parallel substitution
added a missing case in the find_assigned_vars helper

all tests pass. again. nondeterminisim hast successfully added to the tool.
modelchecking is near :)