Deduplicate C logical operators from int domains#1963

sim642 merged 2 commits intomastergoblint/analyzer:masterfrom

int-c-opsgoblint/analyzer:int-c-opsCopy head branch name to clipboard