[wip]issue 4046: better handling of Abs by solve