Calling terminate() in case of exceptions with vector_execution_policy