Bugfix to r667. I discarded a variable instead of adding it into the solver map. This fixes the alvin.cvc problems (r666).
Bugfix to r667. I discarded a variable instead of adding it into the solver map. This fixes the alvin.cvc problems (r666).



kyledewey/stp,kyledewey/stp,kyledewey/stp,kyledewey/stp,kyledewey/stp,kyledewey/stp