Rewrite state calculation in ApplicableRegionSet to be easier to read.