let add_depend_tau = LogicTau.depend