void select_inequality_ops(term t, actualop *o, int *nops); void select_equation_ops(term t, actualop *o, int *nops);