Statement Coverage in software testing