added instruction coverage requirement