let
add_depend_tau =
LogicTau
.depend