* LastProvinceSpec expansion pass