1. With 2 (red) paths we get 100% node and edge covereage, but miss exercising s2-s6 data flow edge?
2. With 2 (red) paths we get 100% node and edge covereage, but miss exercising s3-s6 data flow edge?
3. With 2 (red) paths we get 100% data flow coverage (s2-s6 and s3-s6) but miss exercising s5 node
4. With 2 (red) paths we get 100% node, edge covereage, and data flow coverage, but with some redunancy
5. With 3 (red) paths we get 100% node, edge covereage, and data flow coverage, but with lesser redunancy