Fix ExecutionTest (backend)