Variable_rules_analysis