+src/Computation/Equivalence.vo: src/Computation/Monad.vo src/Computation/Termination.vo
+src/Computation/Termination.vo: src/Computation/Monad.vo
+src/Computation/Tactics.vo: src/Computation/Monad.vo
+src/Computation/Eval.vo: src/Computation/Termination.vo