k-path algorithm now works
Merge branch 'automata'