public static bool HasContractAttribute(this BasePropertyDeclarationSyntax @this, Contract contract, SemanticModel model) => @this.HasPreconditionAttribute(contract, model) || @this.HasPostconditionAttribute(contract, model);