bind_function_demand(a2,dependency(dependency(specialization(fnOut,6),4),2))
bind_function_demand(a2,dependency(dependency(specialization(fnOut,6),5),2))
bind_function_demand(a2,dependency(specialization(fnOut,6),2))
bind_function_demand(a3,dependency(specialization(fnOut,6),4))
bind_function_demand(b2,dependency(dependency(specialization(fnOut,6),4),3))
bind_function_demand(b2,dependency(dependency(specialization(fnOut,6),5),3))
bind_function_demand(b2,dependency(specialization(fnOut,6),3))
bind_function_demand(b3,dependency(specialization(fnOut,6),5))
bind_function_demand(sink,specialization(fnOut,6))

bind_scope_demand(2,dependency(dependency(specialization(fnOut,6),4),2))
bind_scope_demand(2,dependency(dependency(specialization(fnOut,6),5),2))
bind_scope_demand(2,dependency(specialization(fnOut,6),2))
bind_scope_demand(3,dependency(dependency(specialization(fnOut,6),4),3))
bind_scope_demand(3,dependency(dependency(specialization(fnOut,6),5),3))
bind_scope_demand(3,dependency(specialization(fnOut,6),3))
bind_scope_demand(4,dependency(specialization(fnOut,6),4))
bind_scope_demand(5,dependency(specialization(fnOut,6),5))
bind_scope_demand(6,specialization(fnOut,6))

bind_scope_decision(0,dependency(dependency(specialization(fnOut,6),4),2),weak(0))
bind_scope_decision(0,dependency(dependency(specialization(fnOut,6),4),3),weak(0))
bind_scope_decision(0,dependency(dependency(specialization(fnOut,6),5),2),weak(0))
bind_scope_decision(0,dependency(dependency(specialization(fnOut,6),5),3),weak(0))
bind_scope_decision(0,dependency(specialization(fnOut,6),2),weak(0))
bind_scope_decision(0,dependency(specialization(fnOut,6),3),weak(0))
bind_scope_decision(1,dependency(dependency(specialization(fnOut,6),4),2),weak(1))
bind_scope_decision(1,dependency(dependency(specialization(fnOut,6),4),3),weak(1))
bind_scope_decision(1,dependency(dependency(specialization(fnOut,6),5),2),weak(1))
bind_scope_decision(1,dependency(dependency(specialization(fnOut,6),5),3),weak(1))
bind_scope_decision(1,dependency(specialization(fnOut,6),2),weak(1))
bind_scope_decision(1,dependency(specialization(fnOut,6),3),weak(1))
bind_scope_decision(2,dependency(specialization(fnOut,6),4),resolution_dependency(weak(2,weak(0)),weak(0)))
bind_scope_decision(2,dependency(specialization(fnOut,6),4),resolution_dependency(weak(2,weak(1)),weak(1)))
bind_scope_decision(2,dependency(specialization(fnOut,6),5),resolution_dependency(weak(2,weak(0)),weak(0)))
bind_scope_decision(2,dependency(specialization(fnOut,6),5),resolution_dependency(weak(2,weak(1)),weak(1)))
bind_scope_decision(3,dependency(specialization(fnOut,6),4),resolution_dependency(weak(3,weak(0)),weak(0)))
bind_scope_decision(3,dependency(specialization(fnOut,6),4),resolution_dependency(weak(3,weak(1)),weak(1)))
bind_scope_decision(3,dependency(specialization(fnOut,6),5),resolution_dependency(weak(3,weak(0)),weak(0)))
bind_scope_decision(3,dependency(specialization(fnOut,6),5),resolution_dependency(weak(3,weak(1)),weak(1)))
bind_scope_decision(4,specialization(fnOut,6),resolution_dependency(keys(keyA1A2A3),weak(2,weak(0))))
bind_scope_decision(4,specialization(fnOut,6),resolution_dependency(keys(keyA1B2A3),weak(3,weak(0))))
bind_scope_decision(4,specialization(fnOut,6),resolution_dependency(keys(keyB1A2A3),weak(2,weak(1))))
bind_scope_decision(4,specialization(fnOut,6),resolution_dependency(keys(keyB1B2A3),weak(3,weak(1))))
bind_scope_decision(5,specialization(fnOut,6),resolution_dependency(keys(keyA1A2B3),weak(2,weak(0))))
bind_scope_decision(5,specialization(fnOut,6),resolution_dependency(keys(keyA1B2B3),weak(3,weak(0))))
bind_scope_decision(5,specialization(fnOut,6),resolution_dependency(keys(keyB1A2B3),weak(2,weak(1))))
bind_scope_decision(5,specialization(fnOut,6),resolution_dependency(keys(keyB1B2B3),weak(3,weak(1))))

scope_dependencies(dependency(dependency(specialization(fnOut,6),4),2),weak(0))
scope_dependencies(dependency(dependency(specialization(fnOut,6),4),2),weak(1))
scope_dependencies(dependency(dependency(specialization(fnOut,6),4),3),weak(0))
scope_dependencies(dependency(dependency(specialization(fnOut,6),4),3),weak(1))
scope_dependencies(dependency(dependency(specialization(fnOut,6),5),2),weak(0))
scope_dependencies(dependency(dependency(specialization(fnOut,6),5),2),weak(1))
scope_dependencies(dependency(dependency(specialization(fnOut,6),5),3),weak(0))
scope_dependencies(dependency(dependency(specialization(fnOut,6),5),3),weak(1))
scope_dependencies(dependency(specialization(fnOut,6),2),weak(0))
scope_dependencies(dependency(specialization(fnOut,6),2),weak(1))
scope_dependencies(dependency(specialization(fnOut,6),3),weak(0))
scope_dependencies(dependency(specialization(fnOut,6),3),weak(1))
scope_dependencies(dependency(specialization(fnOut,6),4),weak(2,weak(0)))
scope_dependencies(dependency(specialization(fnOut,6),4),weak(2,weak(1)))
scope_dependencies(dependency(specialization(fnOut,6),4),weak(3,weak(0)))
scope_dependencies(dependency(specialization(fnOut,6),4),weak(3,weak(1)))
scope_dependencies(dependency(specialization(fnOut,6),5),weak(2,weak(0)))
scope_dependencies(dependency(specialization(fnOut,6),5),weak(2,weak(1)))
scope_dependencies(dependency(specialization(fnOut,6),5),weak(3,weak(0)))
scope_dependencies(dependency(specialization(fnOut,6),5),weak(3,weak(1)))

bind_scope(0,keys(keyA1),strong)
bind_scope(1,keys(keyB1),strong)
bind_scope(2,keys(keyA1),weak(0))
bind_scope(2,keys(keyA1A2),weak(0))
bind_scope(2,keys(keyB1),weak(1))
bind_scope(2,keys(keyB1A2),weak(1))
bind_scope(3,keys(keyA1),weak(0))
bind_scope(3,keys(keyA1B2),weak(0))
bind_scope(3,keys(keyB1),weak(1))
bind_scope(3,keys(keyB1B2),weak(1))
bind_scope(4,keys(keyA1),weak(0))
bind_scope(4,keys(keyA1A2),weak(2,weak(0)))
bind_scope(4,keys(keyA1A2A3),weak(2,weak(0)))
bind_scope(4,keys(keyA1B2),weak(3,weak(0)))
bind_scope(4,keys(keyA1B2A3),weak(3,weak(0)))
bind_scope(4,keys(keyB1),weak(1))
bind_scope(4,keys(keyB1A2),weak(2,weak(1)))
bind_scope(4,keys(keyB1A2A3),weak(2,weak(1)))
bind_scope(4,keys(keyB1B2),weak(3,weak(1)))
bind_scope(4,keys(keyB1B2A3),weak(3,weak(1)))
bind_scope(5,keys(keyA1),weak(0))
bind_scope(5,keys(keyA1A2),weak(2,weak(0)))
bind_scope(5,keys(keyA1A2B3),weak(2,weak(0)))
bind_scope(5,keys(keyA1B2),weak(3,weak(0)))
bind_scope(5,keys(keyA1B2B3),weak(3,weak(0)))
bind_scope(5,keys(keyB1),weak(1))
bind_scope(5,keys(keyB1A2),weak(2,weak(1)))
bind_scope(5,keys(keyB1A2B3),weak(2,weak(1)))
bind_scope(5,keys(keyB1B2),weak(3,weak(1)))
bind_scope(5,keys(keyB1B2B3),weak(3,weak(1)))
bind_scope(6,keys(keyA1),weak(0))
bind_scope(6,keys(keyA1A2),weak(2,weak(0)))
bind_scope(6,keys(keyA1A2A3),weak(4,weak(2,weak(0))))
bind_scope(6,keys(keyA1A2B3),weak(5,weak(2,weak(0))))
bind_scope(6,keys(keyA1B2),weak(3,weak(0)))
bind_scope(6,keys(keyA1B2A3),weak(4,weak(3,weak(0))))
bind_scope(6,keys(keyA1B2B3),weak(5,weak(3,weak(0))))
bind_scope(6,keys(keyB1),weak(1))
bind_scope(6,keys(keyB1A2),weak(2,weak(1)))
bind_scope(6,keys(keyB1A2A3),weak(4,weak(2,weak(1))))
bind_scope(6,keys(keyB1A2B3),weak(5,weak(2,weak(1))))
bind_scope(6,keys(keyB1B2),weak(3,weak(1)))
bind_scope(6,keys(keyB1B2A3),weak(4,weak(3,weak(1))))
bind_scope(6,keys(keyB1B2B3),weak(5,weak(3,weak(1))))
bind_scope(7,keys(keyA1),weak(0))
bind_scope(7,keys(keyA1A2),weak(2,weak(0)))
bind_scope(7,keys(keyA1A2A3),weak(4,weak(2,weak(0))))
bind_scope(7,keys(keyA1A2B3),weak(5,weak(2,weak(0))))
bind_scope(7,keys(keyA1B2),weak(3,weak(0)))
bind_scope(7,keys(keyA1B2A3),weak(4,weak(3,weak(0))))
bind_scope(7,keys(keyA1B2B3),weak(5,weak(3,weak(0))))
bind_scope(7,keys(keyB1),weak(1))
bind_scope(7,keys(keyB1A2),weak(2,weak(1)))
bind_scope(7,keys(keyB1A2A3),weak(4,weak(2,weak(1))))
bind_scope(7,keys(keyB1A2B3),weak(5,weak(2,weak(1))))
bind_scope(7,keys(keyB1B2),weak(3,weak(1)))
bind_scope(7,keys(keyB1B2A3),weak(4,weak(3,weak(1))))
bind_scope(7,keys(keyB1B2B3),weak(5,weak(3,weak(1))))




cfa_call(0,a2)
cfa_call(0,b2)
cfa_call(1,a2)
cfa_call(1,b2)
cfa_call(2,a3)
cfa_call(2,b3)
cfa_call(3,a3)
cfa_call(3,b3)
cfa_call(4,sink)
cfa_call(5,sink)
cfa_call(6,fnOut)
cfa_function_specializations(fnOut,keys(keyA1A2A3))
cfa_function_specializations(fnOut,keys(keyA1A2B3))
cfa_function_specializations(fnOut,keys(keyA1B2A3))
cfa_function_specializations(fnOut,keys(keyA1B2B3))
cfa_function_specializations(fnOut,keys(keyB1A2A3))
cfa_function_specializations(fnOut,keys(keyB1A2B3))
cfa_function_specializations(fnOut,keys(keyB1B2A3))
cfa_function_specializations(fnOut,keys(keyB1B2B3))
cfa_parent(0,function(a1))
cfa_parent(1,function(b1))
cfa_parent(2,function(a2))
cfa_parent(3,function(b2))
cfa_parent(4,function(a3))
cfa_parent(5,function(b3))
cfa_parent(6,function(sink))
cfa_parent(7,function(fnOut))
function(a1)
function(a2)
function(a3)
function(b1)
function(b2)
function(b3)
function(fnOut)
function(sink)
keys(keyA1)
keys(keyA1A2)
keys(keyA1A2A3)
keys(keyA1A2B3)
keys(keyA1B2)
keys(keyA1B2A3)
keys(keyA1B2B3)
keys(keyB1)
keys(keyB1A2)
keys(keyB1A2A3)
keys(keyB1A2B3)
keys(keyB1B2)
keys(keyB1B2A3)
keys(keyB1B2B3)
scope(0)
scope(1)
scope(2)
scope(3)
scope(4)
scope(5)
scope(6)
scope(7)

true