4063: recognize non-bool forms of assumptions in checksol