Checker in Prolog: Begin checking instructions.
Fix error in hello.livm2.