public static IEnumerable <Contract> GetDeclaredContracts(this IPropertySymbol @this, SemanticModel model, IContractProvider contractProvider) => @this.GetDeclaredPreconditions(model, contractProvider).Concat( @this.GetDeclaredPostconditions(model, contractProvider));