Internal Transition Function
function int input st s; input Real pc; input Real pos; input Real t; output st sout; end int;