Fix of computeDenot.
Fix of computeDenot.

Since we demand that after erasure all TermRefs are SymDenotations we need to
assure this when computing the denotations of term refs in new phases.

lampepfl/dotty,folone/dotty,svalaskevicius/dotty,auvik/dotty,sjrd/dotty,densh/dotty,sjrd/dotty,som-snytt/dotty,angi2/dotty,AlexSikia/dotty,dotty-staging/dotty,folone/dotty,svalaskevicius/dotty,reactormonk/dotty,som-snytt/dotty,lampepfl/dotty,vsalvis/dotty,sjrd/dotty,sjrd/dotty,yusuke2255/dotty,sjrd/dotty,spetz911/dotty,dotty-staging/dotty,dotty-staging/dotty,AlexSikia/dotty,dotty-staging/dotty,som-snytt/dotty,auvik/dotty,lampepfl/dotty,VladimirNik/dotty,som-snytt/dotty,angi2/dotty,dotty-staging/dotty,reactormonk/dotty,lampepfl/dotty,VladimirNik/dotty,lampepfl/dotty,densh/dotty,yusuke2255/dotty,som-snytt/dotty,vsalvis/dotty,spetz911/dotty