| :a { x = :l 0 } -> ()
| :a { x =  _   } -> ()
| :b { x = :l 1 } -> ()
| :b { x =  _   } -> ()
| :c { x = :l 2 } -> ()
| :c { x =  -   } -> ()
| _               -> ()