Symbol: solver_addtodupmaps