Removing unnecessary backward set