Annotate literals in Constrained generators

[MaximilianAlgehed]

When you generate a value for a variable and substitute you risk losing information about what variable caused a later constraint to be unsat. It would be good to have constraints be labeled by what variables went into them to make it easier to identify what made a constraint unsat.