Finished split first-order singles elimination. It compiles.