Add test for special function lval

Author: karoliineh

tests/regression/00-sanity/51-base-special-lval.c

@@ -0,0 +1,13 @@
+// Making sure special function lval is not invalidated recursively
+#include <goblint.h>
+
+extern int * anIntPlease();
+int main() {
+  int x = 0;
+  int *p = &x;
+  p = anIntPlease();
+
+  __goblint_check(x == 0); 
+
+  return 0;
+}