remove pushSymbolicTable function and use del() instead