fixed the translation from Java KIL to generic KIL

yeah that doesn't actually answer my question. My question was, why are some of these methods throwing an exception and others generate a fake intermediate term?