module Integers: Fix usage of logical operations in place of bit operations
module Integers: Fix usage of logical operations in place of bit operations

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