hifrog

how to run
./hifrog --sum-theoref file.c

int func1(int n)

{

int i, t1 = 0, t2 = 1, nextTerm=1;
if(n>0){
    for (i = 1; i <= 2; ++i)
  {
    nextTerm =nextTerm + n* t1 + t2;
        t1 = t2;
        t2 = nextTerm + t2;
    }
    return nextTerm % n;
}
else return n%2;
}

int main()
          {
              unsigned int a = nondet();
              unsigned int b = nondet();
              int c = a;
              int d = b;
              int p = func1( a)+func1( b);
              assert (p*p >= 0);
              int q = func1(c)+func1(d);
              assert(p  q);
              assert(p % q  0);
              return 0;
            }