uwalk -> uwalks in covlang. minimise trace so that covlang uwalks behaves like coverage uwalks