4046: raise error if abs is not removed in solve

A better alternative is to have a method to rewrite Abs
as Piecewise which could then be solved. (see issue 4046)