fact: Definition gen_variation_state_derived : G (option (@Variation State)) := bindOpt (genST (fun st => good_state st)) (fun st => bindOpt (genST (fun st' => variation_state st st')) (fun st' => returnGen (Some (V st st')))).
imports: QuickChick(QuickChick) ZArith List QuickChick.ifcbasic(Machine Printing Generation)