Changes to outputset creation for realizability checking
jkind.jar update