Replace Apron widening_threshold with own Tcons1 based one
Replace Apron widening_threshold with own Tcons1 based one

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