Fix returnFromFunction not being interesting in minimized witness
Fix returnFromFunction not being interesting in minimized witness

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