updating some jkind structures so we can use quantifiers