bugfix in llvmti.xtm regarding <= and >=