Add analyses for computing functions which can GC.