Using Garbage Collection in Model Checking