Now that we have int/fp lattice values, implement the SDTCisOpSmallerThanOp