GC Not Working

Hi! I'm running some large traces using your simulator. However, I found that the check_GC_required() function is never triggered in your code and as a result the GC will never be triggered, the Flash back end's free-blocks can only be consumed and will finally be exhausted. Can you fix this issue? Thanks very much!!