non-incremental inequality solver seems to be bug-free (i.e. passes fuzzing)