Returns whether Integer i1 is not equal to Integer i2
function intNe input Integer i1; input Integer i2; output Boolean b; end intNe;