convertion for rule with non-rewrite body