10void DoRecover(int, int, int); //added int as argument to record run number: ggilani - 23/10/14. Added thread number to record Severity categories in StateT.
11void DoDeath(int, int, int); //added int as argument to record run number: ggilani - 23/10/14