Removed QuickRandom test. Not so good together with EFSM