Confluent Transtition Function
function con input st s; input Real e; input Integer bag; input Real stm; input Real t; output st sout; end con;