ExecutionEngine: refactor interface