A2P.PAFR.5.2: Solve linear absolute value inequalities.