I want Wake to include a built-in tx-origin detector available from the CLI as wake detect tx-origin…

I want Wake to include a built-in tx-origin detector available from the CLI as wake detect tx-origin…: a task in MiMo-V2.6-RL-harbor-code: MiMo-V2.6-RL Code (Harbor) (Harbor dataset). For example, a contract containing address caller = tx.origin; , require(tx.origin == owner); , require(tx.origin…

The task

For example, a contract containing `address caller = tx.origin;`, `require(tx.origin == owner);`, `require(tx.origin > caller);`, or an assignment/lookup such as `lastSeen[tx.origin] = block.number;` should produce a detection pointing at the `tx.origin` member access. The detector should not report the unsafe-usage…

Part of FineEnvs/MiMo-V2.6-RL-harbor-code.