Using IStream coiterator to explicit the captured state of tactic matching results.