Unfold more definitions in the side condition solver.

1 job for ci/more_unfolding in 14 minutes and 4 seconds (queued for 2 seconds)