Added regions to disjoint arguments.