Markov: Chain: add more utility functions
Monkey: Analyzer: implement iterative analysis