Add coverage check to case