Fixing an issue with transitive closure -- need assertions for auxilliary relations