Adding coverage tracking for while and until; only build coverage struct if coverage is enabled