Simplify infer_nless in cartographer.infer