4046: raise error if abs is not removed in solve
4063: recognize non-bool forms of assumptions in checksol