Option class contains new argumentId field
SuppIterator uses Option's argumentId