Tool for asserting transitive closure axioms, used by the FEED project.