Implement quick fix for ContractPublicPropertyName that generates publci property.
Fixed an issue: PreconditionInconsistentVisibilityChecker now works only for Preconditions.