public static bool IsObjectInvariantMethod(this IMethodDeclaration methodDeclaration) { return(methodDeclaration.HasAttribute(typeof(ContractInvariantMethodAttribute))); }