fun maxArgs (CompoundStm(s, ss)) = max(maxArgs(s), maxArgs(ss))
		| maxArgs (AssignStm(id, exp)) = maxArgsExp(exp)
		| maxArgs (PrintStm(expList)) = max (count(expList), maxArgsExpList(expList))

and maxArgsExp (IdExp(id)) = 0
		| maxArgsExp (NumExp(i)) = 0
		| maxArgsExp (OpExp(exp1, b, exp2)) = max(maxArgsExp(exp1), maxArgsExp(exp2))
		| maxArgsExp (EseqExp(stm, exp)) = max(maxArgs(stm), maxArgsExp(exp))

and maxArgsExpList (c::cdr) = max (maxArgsExp(c), maxArgsExpList(cdr))
		| maxArgsExpList nil = 0