Test migration of ATPathCriterion.
Migrate ATBooleanCriterion.