Atomic to hypothesis

[luca-dex]

pseudo presudo presudo code:

In hypotheses expansion:

foreach hypo
    if atomic nodes to hypo
        transpose hypo adj matrix
        add prefix to logic nodes (like `UP_AND...`,...)
        initial node <- which column sum == 0
        merge graph on adj matrix and  hypo t adj matrix
        reconnet edges to initial node (from adj matrix search for atomic node to hypo)

In tronco plot:

create layout for UP logic nodes

[luca-dex]

Closed with f4621bded4d3518b325fb02dc9c2a1dfb9e9df35