adding way to reproduce easily bug #1695

src/plugins/e-acsl/known_bugs/bts1695_stdio.c

+#include <stdio.h>
+
+int main(void) {
+  int x = 2;
+  printf("x = %d\n", x);
+  return 0;
+}