added add_function for type_check.cc