gbasler/Boom — Issue #17: Fix Trace
Author: gbasler
Created: 2012-01-22 21:18:56+00:00
State: open

BDD Trace is broken and fails:

pre(S(i)) * Trace(i_{-1}) = F

Code needs to be refactored first:

* create Backward Visitor (WP)

* explicit or
* symbolic ?