add coverage counter