Extract both branches dead test from concrat/Remotery

Author: sim642

tests/regression/00-sanity/41-both_branches-2.c

@@ -0,0 +1,17 @@
+// PARAM: --disable sem.unknown_function.invalidate.globals
+#include <goblint.h>
+struct S {
+  int *f[1];
+};
+
+int main() {
+  struct S* s;
+  s = magic();
+
+  int *p = s->f[0];
+  if (p)
+    __goblint_check(1); // reachable
+  else
+    __goblint_check(1); // reachable
+  return 0;
+}