Currently, combinatorial branch counting does the job....though perhaps
not in the most effiecient manner....end condition is a problem...but
should find errors just as fast....will have a hard time terminating if
no errors are present.