Catch exceptions arising during the abstraction operation. Filter out theorems that are "too deep".
Catch exceptions arising during the abstraction operation.
Filter out theorems that are "too deep".

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