reset the list of identifiers between runs of z3