input CTRS → TAIL [NV14]   target: (  LI   LO   RI   RO  )  → Inversion    ( [NSS05b]   [NV11]  )  → MSV  → Unraveling  → Result