Add definition of formals and fixing the printing function
add Formal according to AST