digraph G {
Operand -> Constant
Operand -> Place
Place -> Projection
Projection -> Place
Place -> Local
Rvalue -> Operand
Assignment -> Place
Assignment -> Operand
}