void transform( locationt from, locationt to, ai_baset &ai, const namespacet &ns) override final { if(!reachable) return; if(from->is_start_thread() || to->is_end_thread()) { has_spawn=true; is_threaded=true; } }