update app_to_il_err

but looks like I cannot update the rest of intLangProof without properly
implementing VfromList.