more aggressive unfolding of unknowns in Z3 models
more aggressive unfolding of unknowns in Z3 models

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle