Include more examples from the "Compiler Handbook" for SSA

See #2.