Skip 02/52 because unknown otherfun cannot be handled right now
Skip 02/52 because unknown otherfun cannot be handled right now

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