%%DATA EMBEDDING:
    %bind(S, static(Data)):- Data= ref(_); bind(SymbolFrom, static(Data)); dfa_connection(S, SymbolFrom, _).
    %bind(S, static(ref(Root))):- Data= data(_); bind(Root, static(Data)); dfa_connection(S, Root, _).

%% SCHEME:
    % bind(S, static).
    % dfa_static(S, data(Data))
    % dfa_static(S, ref(RootSymbol))

bind(S2, static) :- bind(S1, static): dfa_connection(S2, S1, _).