Added new variant of addSolution that takes a set of variables to add and
replaces others with update