add z3 expr to symstack