Lets have a setter for TopLevelDeclarations as well
The setter is better this way