statecoverage iterator now without stack/fifo, instead crawling via backtracking [ as of corporate 1a5ed2484dd6045827fe3148d031de9d7bda3f21 ]