Octagon: Add filter function for constraints, rename map-based closure function
Octagon: Add filter function for constraints, rename map-based closure function

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer