Polish the rollback implementation in ProcedureExecutor

Need to confirm that the way we make sure that there is one PE worker which rollback the whole procedure stack is correct. Now the comment is not enough.