No matches were found for subject:"\[isabelle\-dev\] Methods that fail with stack\-overflow"