switched z3 process to use push/pop rather than reset