Added <= predicate, and implemented evaluation of <