Add function composition associativity as an example of a property.