Ref #60 added some diffy g tools to the solver. Stage 1 of reductions should be possible and relatively straight forward.
