eliminate redundant clause