removing examples, those will be found in libats-/wdblair/{patsolve,prelude}