Simplify protection-based octApron restrict_* functions using var metadata
Simplify protection-based octApron restrict_* functions using var metadata

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