seq_req traceability by Yang Liu