Migrate ATSimpleIntCriterion.