add Transitive-Closure.agda as a hint.