completed __str__ method of InstrSeqMember