Merge pull request #3 from cryptica/master

Fixed the invariants in bounded newrtp spec.
Added test file with unreachable target