Added function to create property to compare invariants