Symbol: add_single_rule