pr2_pattern2.dot

digraph G {
    Constant_1 -> Skip_2
    Label_3 -> Add_4
    Skip_2 -> Add_4
    Constant_1 [shape=ellipse color=black]
    Skip_2 [shape=ellipse color=black]
    Label_3 [shape=ellipse color=black]
    Add_4 [shape=ellipse color=black]
}