trying to implement KORE.Rule -> KIL.Rule (and failing because of Context related problems)
more tests