CompositeInverseFunctionalProperty