Rewrote the varID-filtered variant of addSolution() to match the other variant's implementation.  Added a very small test case to the existing testAddCondensedSolution.  This passes, though test coverage of this variant is quite limited.