//^ ensures this.members != null;
//^ invariant isInitialized ==> this.members != null;
private void Parse(Parsing.Parser parser)
{
List<INamespaceDeclarationMember> members = this.members = new List<INamespaceDeclarationMember>();
parser.ParseCompilationUnit(this.CompilationPart.GlobalDeclarationContainer, members);
members.TrimExcess();
//^ assume this.members != null;
}
