wfg_trs =
    [ wfg_t0 ~= wfg_t0r,
      wfg_t1 ~= wfg_t1r,
      wfg_t2 ~= wfg_t2r,
      wfg_t3 ~= wfg_t3r
    ]
wfg_trs =
    [ wfg_t0 ~= wfg_t0r,
      wfg_t1 ~= wfg_t1r,
      wfg_t2 ~= wfg_t2r,
      wfg_t3 ~= wfg_t3r
    ]
wfg_trs =
    [ wfg_t0 ~= wfg_t0r,
      wfg_t1 ~= wfg_t1r,
      wfg_t2 ~= wfg_t2r,
      wfg_t3 ~= wfg_t3r
    ]