PRE: refactor Variable rule