Add naïve GC after a function call returns; this breaks closures