testsimple.adot

digraph SIMPLE {
    FUNC [module=libprinters, entry_func=PrintHello]
    PRED [module=libprinters, entry_func=ReturnTrue]
    MORPH [predicate=PRED, function=FUNC]

    FUNC1 [module=libprinters, entry_func=PrintHello1]
    PRED1 [module=libprinters, entry_func=ReturnTrue1]
    MORPH1 [predicate=PRED1, function=FUNC1]

    FUNC2 [module=libprinters, entry_func=PrintHello2]
    PRED2 [module=libprinters, entry_func=ReturnTrue2]
    MORPH2 [predicate=PRED2, function=FUNC2]

    __BEGIN__ ->  ST1 [morphism = MORPH]
    ST1 -> ST2, ST3, ST4 [morphism = (MORPH, MORPH1, MORPH2)]
    ST2 -> ST3, ST5 [morphism = (MORPH1,MORPH2)]
    ST4 -> ST5 [morphism = MORPH]
    ST3 -> ST5 [morphism = MORPH]
    //ST21 -> ST31, ST312[morphism =(MORPH1,MORPH2)]
    //ST3, ST31, ST312 -> ST4[morphism = (MORPH,MORPH1,MORPH2) ]
    ST5 ->  __END__
}