extern void __VERIFIER_error() __attribute__ ((__noreturn__)); extern int __VERIFIER_nondet_int(void); int N; int sep (int x[N]) { long long ret =0; for(int i=0;i 1) { int x[N]; int temp; int ret; int ret2; int ret5; ret = sep(x); temp=x[0];x[0] = x[1]; x[1] = temp; ret2 = sep(x); temp=x[0]; for(int i =0 ; i