Property Declaration

Gets the declaration to which the contract was added. When the contracted is added to a field, returns the IProperty that the field has been transformed into.