fix a bug produced by wrong droping of formals from translate.sml
fix a bug on arguments enumeration