When writing checks it is easy to add typos to withSlicing() and allow().
It would be helpful for me
- if degraph would issue a warning when pattern (either anonymous or named) doesn't match any class
- if an allow references a name that doesn't exist
Thanks!