fixed the translation from Java KIL to generic KIL

Why not BackendTerm?