kind2-mc/kind2 — pull request #147 by chsticksel (2014-09-26 22:24:24+00:00)
Title: Bugfix for exists_eval_on_path

This prevented PDR from eliminating properties it had disproved itself.