Function is_read_then_write_statement 

fn is_read_then_write_statement(stmt: &Statement<Raw>) -> bool

Whether a statement is one the frontend read-then-write path sequences.

These are the statement kinds that plan to a ReadThenWrite or an Insert. Note that not every one of them ends up on the OCC path: an INSERT whose source folds to a constant is dispatched as a blind write instead.