inline g traverses the rules of g and inlines the non terminal definitions that are marked with %inline. It returns a pair of the transformed grammar and a flag that tells whether any inlining was actually done.
inline g
g
%inline