Add reverse execution engine.