branching.adot

digraph SIMPLEST {
    FUNCA [module=test_funcs.simplest, entry_func=increment_a_edge]
    FUNCB [module=test_funcs.simplest, entry_func=increment_b_edge]
    PRED [module=test_funcs.simplest, entry_func=true_predicate]
    
    INCR_A [predicate=PRED, function=FUNCA]
    INCR_B [predicate=PRED, function=FUNCB]
    
    __BEGIN__ -> ROOT
    ROOT ->  BR1, BR2 [morphism=(INCR_A, INCR_B)]
    BR1 -> BR1_ST [morphism=INCR_A]
    BR2 -> BR2_ST [morphism=INCR_B]
    BR1_ST, BR2_ST -> MERGE [morphism=(INCR_A, INCR_B)]
    MERGE -> __END__
}