4144 bool FuncDeclaration::addPostInvariant()  in addPostInvariant()  function
4743 bool FuncLiteralDeclaration::addPostInvariant()  in addPostInvariant()  function
4929 bool CtorDeclaration::addPostInvariant()  in addPostInvariant()  function
4997 bool PostBlitDeclaration::addPostInvariant()  in addPostInvariant()  function
5074 bool DtorDeclaration::addPostInvariant()  in addPostInvariant()  function
5201 bool StaticCtorDeclaration::addPostInvariant()  in addPostInvariant()  function
5329 bool StaticDtorDeclaration::addPostInvariant()  in addPostInvariant()  function
5414 bool InvariantDeclaration::addPostInvariant()  in addPostInvariant()  function
5495 bool UnitTestDeclaration::addPostInvariant()  in addPostInvariant()  function
5575 bool NewDeclaration::addPostInvariant()  in addPostInvariant()  function
5658 bool DeleteDeclaration::addPostInvariant()  in addPostInvariant()  function