disabled test case for predicate compiler due to an problem in the inductive package
disabled test case for predicate compiler due to an problem in the inductive package

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