#include "clause.h"
int a, b;
void c();
void h() {
  int f = clause_LastLitIndex(d);
  a = clause_LastLitIndex(0);
  if (f)
    if (a)
      1;
}
void i() {
  CLAUSE e = 0;
  int *g[] = {h, c};
  for (; b;)
    l(e);
}
void m() {
  int k, j;
  for (; k <= 0;)
    ;
  clause_SetNumOfConsLits(0, j);
  n(0 - j);
}