Successor instances are separated by comma (,) from preceding instance.
next_ins := oif_sep [ inst_init ]