-/* This C header file is generated by NIT to compile modules and programs that requires src/analysis/reachable_as_init. */
+/* This C header file is generated by NIT to compile modules and programs that requires ./analysis/reachable_as_init. */
#ifndef analysis___reachable_as_init_sep
#define analysis___reachable_as_init_sep
#include "program._sep.h"