We re-compute the variable sets for every sub-rule
We re-compute the variable sets for every sub-rule