eval_term: CRITICAL due to eval_result; simplified oracle interface;
eval_term: CRITICAL due to eval_result;
simplified oracle interface;

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