State in SemanticState rather than SymbolTable