Added: undercover--coverage-enabled-p function