int inhibit_transfer(term t); void solve_equation(term, int, actualop *, int *); int different_sqrts(term t); int stop_alltoleft(term t);