Returns whether Integer i1 is smaller than Integer i2
function intLt input Integer i1; input Integer i2; output Boolean b; end intLt;