added variable symbolization