Avoid use of `solve_proper`.
Passed
Robbert Krebbers
created pipeline for commit
c579b46c
, finished
For master
9 minutes 56 seconds, queued for 2 seconds