Update compilation.dot

node attribute declarations modify the state machine of the graph drawing.

Apart from the defaults, if a node is assigned a shape attribute it will be drawn using that shape.

After specifying a new shape attribute, new nodes that appear now will use drawn using the new shape and nodes that were already specified before changing shape will continue to be drawn with their previous shape.