Use no_coverage_env() in some more tests