Piecewise_linear_intf.S_invertible