Fix bug with cr-rule when it has a newly introduced variable