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

dfa_callguard(Instance, Guard):-
    bind(ArgActual, callguard(Guard));
    weak(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)).