[fix] Added difference_type for ImmutableTree::iterator#113

S1eGa merged 1 commit intoUnitTestBot:mainUnitTestBot/klee:mainfrom

S1eGa:immutable-tree-iterator-fixS1eGa/klee:immutable-tree-iterator-fixCopy head branch name to clipboard