1:- module(edcgs_expand, []).    2:- reexport(library(edcgs)).    3
    4:- op(1200, xfx, ==>).    5
    6user:term_expansion(X1 ==> Y1, [Rule]) :-
    7   edcgs:edcg_rule_to_dcg_rule(X1 ==> Y1, X2 --> Y2),
    8   expand_term(X2 --> Y2, Rule)