changed Operations.hs; testOfpause -> testOfPause