Maybe we could add here (or refer to somewhere else) that the notInRules tag instructs the kompiler not to use this definition when parsing rules / .k files