Add fix for exception that could occur when using includes and top level members#6214

keyboardDrummer merged 2 commits intodafny-lang:masterdafny-lang/dafny:masterfrom

keyboardDrummer:includeAndTopLevelMemberskeyboardDrummer/dafny:includeAndTopLevelMembersCopy head branch name to clipboard