added a nondeterministic checker
fixed non lazyness bug
updated left search