Add Ax+s=b as a possible ineqproblem to be loaded