Dbg::PropStat Node1 Dbg::PropStat Node2 std::atomic< unsigned int > + ptr Node2->Node1 +m_maxPropagations +m_maxMethodSequence +m_maxRecursionCount