#include "control-context.lp".

%body
function(a;b;c;d).
scope(0..4).
cfa_parent(0, function(a)).
cfa_parent(1, function(b)).
cfa_parent(2, function(c)).
cfa_parent(3, function(d)).
cfa_parent(4, function(d)).

cfa_call(0, c).
cfa_call(1, c).
cfa_call(2, d).

bind_scope(0, a).
bind_scope(1, b).

cfa_function_specializations(d, a).
cfa_function_specializations(d, b).

#show bind_scope_decision/3.
%#show bind_scope_demand/2.
#show bind_function_demand/2.
%#show cfa_call/2.
%#show bind_function_demand/2.