Indexset test

include indexset

instance bss : unbounded_sequence
instance idx : unbounded_sequence
instance s : indexset(bss,idx)

isolate iso = s with idx,bss