Returns whether Integer i1 is smaller than or equal to Integer i2
function intLe input Integer i1; input Integer i2; output Boolean b; end intLe;