allow general (incomplete) solving of inequalities
change assertion to ValueError