Bugfix for exists_eval_on_path

This prevented PDR from eliminating properties it had disproved itself.