tighter coverage checking