- shrink down BooleanClauseList
- tests