by default, make it so we can get infeasibility rays.