Add renaming support to JKindResult