result variable not printed in counterexamples
In result.mlw, the "result" for the second example does not appear in the counterexamples. Note that it does not appear in the task too. We should probably add a model_trace on it.
Also, the old parameter is written A at 'Old =
. It should be old A =