remove "remove preincluded rules" for rules in k definitions

**do not review yet**