Optimize LESS-JOIN-monotone inference