Pre: update symboltable to store more semantics details