corrected choose equals accumulator case
dropped debug code
clarified test
improved has next detection for certain recursive cases
added complex test
added new edge test
upgraded specs