Garbage Collection for Software Model Checking -- Hierarchical Adaptive State Space