Datalog: Keep first blocks allocation when cleared.