Symbol: solver_addinfarchrules