Removed stree dependency, added interp_coverage.py