Separate newtid in a module
Add abstract tid with context bound and k last call sites
Exploration method can be given as parameter
Factor time