fixed a serious bug that prevented theory decisions from actually being used.
fixed a serious bug that prevented theory decisions from actually being used.

sambayless/monosat,sambayless/monosat,sambayless/monosat,sambayless/monosat