`eqFreePropToSolvable` calls `simplify` internally, so it can be omitted here