Fixed definitions of Lit.Undef, Lit.Error, which had been swapped
Fixed definitions of Lit.Undef, Lit.Error, which had been swapped

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