__str__ method for InstrSeq class