Backoff and do not expand implicit components in rules which mention the exception component in the conclusion
Backoff and do not expand implicit components in rules which mention the exception component in the conclusion

metaborg/dynsem,metaborg/dynsem