Symbol: analyze_unsolvable_rule