normalize pexprs before comparison...