Hello the yices community, It seems like the -e option doesn't give me the full model (value assignment to every single variable in the input file). The variables it tends to omit are those that are easily inferred by looking at the input. To make my life easier, is it possible to retrieve the full model? Thank you Lexin