fixed the translation from Java KIL to generic KIL

Andrei and Yilong claimed that there are some backend terms which do not have corresponding KIL terms to map with. When users want to see intermediate steps, there are some backend terms which cannot be translated into KIL terms and cannot be visible for the users. Yilong proposed that we will show users KIL terms with pretty printing format and backend terms with raw format.