Reimplement LEQ using SLT instruction, simpler, doesn't handle expressions, only variables and literals