Simplify check in assign whether lval is a variable of integral type
Simplify check in assign whether lval is a variable of integral type

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