fixed the translation from Java KIL to generic KIL