fixed bug: contraditions caused by INs were not being detected by partial eval.