add recorVar in translate.sml and modified call function in semant.sml
merged branch