Maximilian Algehed

For `forAllQ` you have to supply a quantification over a type that satisfies `type QuantifyConstraints a = (Eq a, Show a, Typeable a, HasVariables a)`. However, if you know there...

As for why this is different with `forAllQ` vs `forAllNonVariableQ` thinking more about it I think that's just the issue with `withGenQ`.

The "correct" way of doing this in `DL` is to rewrite the `genSeed` and `genInit` generators as `DL state ()` things that use safe `Quantification`s to build the actions and...

@abailly-iohk 's analysis of the problem with `withGenQ` is correct. However, I still struggle with the action being shrunk away. That I find worrying.

@ch1bo could you please put the whole test and test output here so I can have a look. Because something is fishy here.

I tried this out today and it unfortunately doesn't work as well as one would like. The model can have a precondition like "the variable is the output of the...

The other solution to this problem is to shrink `var1