Goal is to ensure that all paths through program are taken
Too many paths
Restrict to paths in a subroutine
or to two consecutive branches