pothos-gui: cleanup some in ExecutionEngine.cpp