strict digraph bdd {
    t1 [shape=box, label=1];
}
