-
Sylvain Dailler authored
The projection is now recorded with its ident which allow us to rewrite the projections in counterexamples. We use the id_string which is only an approximation of what can be seen in the task (but it is close enough).
8e1de5b1