Filter Pattern for ClauseLists (preparations only, untested)
cleanup