zero_var_inst: replace loose bounds :000 etc.;
zero_var_inst: replace loose bounds :000 etc.;

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