fixed the translation from Java KIL to generic KIL

1)Terms like Map/SetUpdate may occur in the resulting term which is being translated back to generic KIL for pretty printing. These terms are put in the BackendTerm as you suggested.

2)Terms like Map/Set/ListLookup should not occur in the result term because they only exist in the side condition of a rule. In addition, Rule, ConstrainedTerm, and SymbolicConstraint are not even terms. In this case, an exception is thrown.