fix postcondition
GC on closures (WIP)