Added semantic checking to lt and leq