VarF.pretty_trace with context should also include the line
VarF.pretty_trace with context should also include the line

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