issue 4046: better handling of Abs in solve