LazySolution considers only reaction variables now and primal => (primal_fwd - primal_rev) and dual => (dual_fwd - dual_rev)
Auxiliary-variables based representation of reversible reactions now functional