Statement coverage testing