#ifdef __SVCOMP__
#else
#define __SVCOMP__

void __VERIFIER_assume(int expression) { 
  if (!expression) 
  { 
    LOOP: 
      goto LOOP; 
  }
}

#endif