Do not use larger region size bounds for SCCs dominating their only precedessor