changes to createOutputSet
updated jkind.jar