Nested theory alias cannot be referenced

[fbarros86]

MRE:

theory A.

theory B.
end B.

theory C = B.

print C.

end A.

print A.C.

Inside A, the alias C can be referenced normally. However, after leaving A, the nested theory alias (and its content) cannot be accessed through A.C.