with_array and with_ex mean the user function should use the array and ex info. If the array is passed by user, then the array should be forced to DistArray before the definition of the RegionMapExpr. And the ex info cannot be passed by user...