Extract equal checking in domain properties to @= operator
Extract equal checking in domain properties to @= operator

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