Add graph visualizing right-rotations
Add prequisites for graph inclusion
Integrate graph
Ignore metapost output