small fix for the nondeterministic interval assignment and 2 more tests