make sure we track Input.Region for epsilon reductions (important for ambiguity-hunting)