Symbol: solver_addchoicerules