dominator[dump] >=4, <5