Clause removal based on locality