%INPUT
%   bind(Symb, callguard(..)) - binded Ann
%OUTPUT
%   dfa_callguard(..) - ready for processing

dfa_callguard(Instance, Guard):-
    bind(ArgActual, callguard(Guard));
    dfa_callargs(Instance,_, ArgActual);
    dfa_callret(Instance, SymbRet);
    bind(SymbRet, dfa_polym(arg)).

dfa_callguard(Instance, Guard):-
    bind(SymbRet, callguard(Guard));
    dfa_callret(Instance, SymbRet);
    bind(SymbRet, dfa_polym(ret)).