complex.adot

digraph SIMPLEST {
    FUNCA [module=test_funcs.simplest, entry_func=increment_a_edge]
    PRED [module=test_funcs.simplest, entry_func=true_predicate]
    
    INCR_A [predicate=PRED, function=FUNCA]
    
    ST1 [subgraph=./adot/trivial.adot]
    ST2 [subgraph=./adot/cycled.adot]
    ST3 [subgraph=./adot/branching.adot]

    __BEGIN__ -> ST1 
    ST1 -> ST2 [morphism=INCR_A]
    ST2 -> ST3 [morphism=INCR_A]
    ST3 -> __END__ 
}