Unfold more definitions in the side condition solver.

Merged Rodolphe Lepigre requested to merge ci/more_unfolding into master

Merge request reports