Commit c6e5d0be authored by Ralf Jung's avatar Ralf Jung

Merge branch 'robbert/implicit_names' into 'master'

Avoid relying on implicit instance generalization, and name some instances.

See merge request !193
parents 7f934a94 c8bb51b2
Pipeline #35842 passed with stage
in 10 minutes and 59 seconds