Minor Description
MasterProcedureTestingUtility#testRecoveryAndDoubleExecution get the procedure information at the beginning of the function, but never updates the information. As procedure executes and moves to new state, it still log the stale state information.