Removal of redundant checks