change formal_list to be made of formals instead of decls