Updated dots_v and cpp dod-files to handle Sequences