Added properties to test transitive closure