Add result_ikind as parameter to Base.op_binop to generate top of right ikind
Add result_ikind as parameter to Base.op_binop to generate top of right ikind

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