don't check coverage of an ABC