Reuses tx state --> record state visitor
Reuses command list for extracted commands