[add predicate anySubterm
Helmut Grohne <grohne@cs.uni-bonn.de>**20150522114730
 Ignore-this: 18fec7b18695ead84368b07b0b760e74
] hunk ./src/Syntax/Class/Term.hs 19
-    mapTermM, mapTerm,
+    mapTermM, mapTerm, foldTerm, anySubterm,
hunk ./src/Syntax/Class/Term.hs 144
+anySubterm :: Term t => (t -> Bool) -> t -> Bool
+anySubterm p = foldTerm (\t b -> b || p t) False
+