digraph TRIVIAL {
    FUNC [module=test_funcs.simplest, entry_func=increment_a_edge]
    PRED [module=test_funcs.simplest, entry_func=true_predicate]
    MORPH [predicate=PRED, function=FUNC, comment="ADD"]

    __BEGIN__ -> ST1 [morphism = MORPH]
    ST1 -> ST2 [morphism = MORPH]
    ST2 -> __END__ [morphism = MORPH]
}