public static IEnumerable <Contract> GetContracts(this BasePropertyDeclarationSyntax @this, SemanticModel model, IContractProvider contractProvider) => @this.GetPreconditions(model, contractProvider).Concat( @this.GetPostconditions(model, contractProvider));