Fixes to And partialEval.