1| :a { x = :l 0 } -> () 2| :a { x = _ } -> () 3| :b { x = :l 1 } -> () 4| :b { x = _ } -> () 5| :c { x = :l 2 } -> () 6| :c { x = - } -> () 7| _ -> ()