improve z3 cst.