added get_procedure function in procedure.cc