Do we know whether `ExecutionEngine` is safe to be accessed from several threads in parallel?