finish_rule
extern void finish_rule PROTO ((int, int, int, int, int));
finish_rule( def_rule, false, 0, 0, 0);
finish_rule( pat, variable_trail_rule,