diff --git a/core/control-context.lp b/core/control-context.lp
deleted file mode 100644
index 62237fe..0000000
--- a/core/control-context.lp
+++ /dev/null
@@ -1,24 +0,0 @@
-        % context propagation 
-
-bind_scope_decision(Scope, Fn, Resolution):- cfa_call(Scope, Fn), cfa_function_specializations(Fn, Resolution), bind_scope(Scope, Resolution).
-bind_scope_decision(Scope, Fn, Resolution):- cfa_call(Scope, FnChild), bind_function_demand(FnChild, Fn), cfa_function_specializations(Fn, Resolution), bind_scope(Scope, Resolution).
-
-bind_scope_demand(Scope, FnCallee):- cfa_call(Scope, FnCallee), cfa_function_specializations(FnCallee, _), not bind_scope_decision(Scope, FnCallee, _).
-
-    %demand propagation
-bind_scope_demand(Scope, Subject):- bind_scope_demand(ScopeChild, Subject), cfa_parent(ScopeChild, scope(Scope)).
-bind_scope_demand(Scope, Subject):- cfa_call(Scope, FnChild), bind_function_demand(FnChild, Subject), not bind_scope_decision(Scope, Subject, _).
-bind_function_demand(Fn, Subject):- bind_scope_demand(Scope, Subject), cfa_parent(Scope, function(Fn)).
-
-bind_scope(Scope, Context) :- bind_scope(ScopeParent, Context), cfa_parent(Scope, scope(ScopeParent)).
-bind_scope(Scope, Context) :- bind_scope(ScopeParent, Context): cfa_call(ScopeParent, FnCurrent); cfa_call(_, FnCurrent)
-                                , cfa_parent(Scope, function(FnCurrent)), bind_scope(_, Context), scope(Scope).
-                                
-% adhoc classes(unfinished): 
-%bind_func(Fn, adhoc_class(Context)) :- bind_func(Fn, adhoc(Context)), bind_scope(Scope, Context), cfa_parent(Scope, function(Fn)).
-
-%scope_parent(Scope, ScopeParent) :- cfa_parent(Scope, scope(ScopeParent)).
-%scope_parent(Scope, ScopeParent2) :- cfa_parent(Scope, scope(ScopeParent)), scope_parent(ScopeParent, ScopeParent2).
-
-%scope_function(Scope, Fn) :- cfa_parent(Scope, function(Fn)).
-%scope_function(Scope, Fn) :- cfa_parent(Scope, scope(ScopeParent)), scope_function(ScopeParent, Fn).
diff --git a/core/control-context.lp b/core/control-context.lp
new file mode 120000
index 0000000..f0191b9
--- /dev/null
+++ b/core/control-context.lp
@@ -0,0 +1 @@
+/private/prg/code/xreate/core/control-context-v3.lp
\ No newline at end of file