improve error message
add "migration analysis" to make it easier to migrate from ConstraintOccurrence to ConstraintMatch