remove "remove preincluded rules" for rules in k definitions

**please review**