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

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

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