incr_directly_depends(t_inc_1(A),p(B))
incr_directly_depends(t_inc_3(A),t_inc_1(B))
incr_directly_depends(t_inc_5(A),t_inc_2(1))
incr_directly_depends(t_inc_5(A),t_inc_2(2))
incr_directly_depends(t_inc_5(A),t_inc_4(B))
incr_trans_depends(t_inc_1(B),p(A))
incr_trans_depends(t_inc_3(A),t_inc_1(B))
incr_trans_depends(t_inc_4(A),t_inc_1(B))
incr_trans_depends(t_inc_5(A),q(1))
incr_trans_depends(t_inc_5(A),q(2))
incr_trans_depends(t_inc_5(A),t_inc_1(B))
incr_trans_depends(t_inc_5(A),t_inc_2(1))
incr_trans_depends(t_inc_5(A),t_inc_2(2))
incr_trans_depends(t_inc_5(B),p(A))
incr_trans_depends(t_inc_5(B),t_inc_1(A))
incr_trans_depends(t_inc_5(B),t_inc_3(A))
incr_trans_depends(t_inc_5(B),t_inc_4(A))
resolving_t_inc_5
