Adapted UTs for checking if threads stop FSM.