Check invoking circle when finding sink trigger units in dummyMain