Interactive Execution now supports global term condition