Graphs
Clause removal based on locality