Fix tpt

This PR fixes a bug in tpt.py when finding paths to a set of sink states that is larger than one state. 

The error was in tpt._backtrack

I also added an additional test to test_tpt, that uses multiple states in the source and sink states to check for this type of error in the future.