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