remove "remove preincluded rules" for rules in k definitions