debug versions of finite_guess and fresh_guess do not fail if they can not solve the goal
debug versions of finite_guess and fresh_guess do not fail if they can not solve the goal

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