We provide a synthetic minimal implementation of Java threading if there is no real one so that we get a sound callgraph