Correctly infer LESS-monotone for constant obs