correct bugs and full cover rule removal reduces nodes from 20%-50%