Variable_rules_analysis loading ...