Reworked Z3Process so it only creates one Z3 instance; it needs to be
closed.