review: Add summary of Simon Moll's paper on "Decompilation of LLVM IR".