Type guard: narrows Procedure to IProcedureSuccess.
The Procedure to check.
True if the result is a success.
Type guard: narrows Procedure to IProcedureSuccess.