setting the priority of nondeterministic assignment lower than of physical units
fixing the nondet_var generator
commented out satabs tests - now the build should be green
Merge remote-tracking branch 'origin/master'