Put back destructor in OpSequenceModel.*