digraph AST {
    node [shape=box];

    // Main Script
    script [label="Script"];
    op_if [label="OP_IF"];
    pubKey1 [label="<pubKey1>"];
    op_checksig1 [label="OP_CHECKSIG"];
    op_else [label="OP_ELSE"];
    pubKey2 [label="<pubKey2>"];
    op_checksig2 [label="OP_CHECKSIG"];
    op_endif [label="OP_ENDIF"];

    // Script Structure
    script -> op_if;
    op_if -> pubKey1;
    op_if -> op_checksig1;
    script -> op_else;
    op_else -> pubKey2;
    op_else -> op_checksig2;
    script -> op_endif;
}