let add_depend_term = TERM.depend