Catch ~x < cst just like ~x < ~y, we currently handle this through