single instance of ExecutionEngine and spec fix