added context to KILtoKORE

+ TermComment, list terminals, and injected klabels