splitting test_goal_terms in Quickcheck into smaller basic functions
splitting test_goal_terms in Quickcheck into smaller basic functions

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