Sindbad~EG File Manager

struct term * beta_reduce(struct term *t, struct context *c);
void rename_bound(struct term *, struct context *,struct term *, struct context *, struct trail **);
int otter_contains(struct term *t, struct term *x);
struct context *get_context2(struct clause *c, int multiplier);
struct context * copy_context(struct context *c);
int equals(struct term *a, struct term *b);
void rename2(int i, int j, struct term *c);
int forbid_bound(struct context *p, struct term *t);
void clear_forbidden(struct context *c);
void forbid_all(struct term *a, struct context *c1, struct term *x, struct context *c2);
void prepare_context(struct term *t1, struct context *c1, int max);
struct clause *getContainingClause(struct term *t);
int check_lambdas(struct clause *c);

#define SYMBOL(t)   (t->sym_num)

#define BINDER(f)   (f == LAMBDA || f == SUM || f == PRODUCT || f == INTEGRAL || f == LIMIT ||f == SETOF)   // list binding operators by symbol number