Containers Output Processing Input cluster_root(Var) dfa_connection/3 var_cluster impl_fulfill/3 -impl_fulfill/2 relation_op/2 relation_score/2 -impl_fulfill_cluster/2 impl_fulfill_cluster/3 bind(V, op(Op))}; bind(V, impl(Impl)) ast_op_* cluster_link containers_impl