Fix comparision in arincDomain.
Fix comparision in arincDomain.

Compare individual field using the corresponding compare operations.

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