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)
Merge pull request #2540 from smichr/4046

solve with Abs and checksol issues