annotate spawned tasks and then run the analysis on just those (needs to be recursive or inlining)