Add a deprecation suggestion to the now-deprecated MergePoint premise in favour of the case pattern match
Add a deprecation suggestion to the now-deprecated MergePoint premise in favour of the case pattern match

metaborg/dynsem,metaborg/dynsem