issue 4046: better handling of Abs by solve