%   Connect to Exploitation
%===========================================================    
expl_siteInit(Resource, CallerS):-
  bind_func(Fn, init(Resource));
  cfa_call(CallerS, Fn).
  
expl_siteUser(Resource, Scope):-
  bind(V, use(Resource));
  var_scope(V, Scope).
  
  
%   Connect to Polymorphism  
%===========================================================
dfa_callguard(V, exploitation(Strategy)):-
  expl_assignments(Scope, Resource, Strategy);
  
  dfa_callfn(V, Fn);
  bind_func(Fn, init(Resource));
  var_scope(V, Scope).


%   Utility
%===========================================================
var_scope(Var, Scope):- Var=s(_, _, Scope); v(Var).