term numerator(term); term denom(term); int naivecommondenom(term t, term arg, term *next, char *reason);