Bugfix for exists_eval_on_path

This prevented PDR from eliminating properties it had disproved itself.
Merge pull request #147 from chsticksel/develop

Bugfix for exists_eval_on_path