Removed the convoluted abstract compilation example and referred the reader back to the state graphs instead. One citation over 12 pages