Intratrace deps with TDD. Currently a problem with Z3-str prevents it working...