fact: Definition gen_variation_state : G (@Variation State) := bindGen gen_state (fun st => bindGen (vary st) (fun st' => returnGen (V st st'))).
imports: QuickChick(QuickChick) ZArith List QuickChick.ifcbasic(Machine)