Function drives_the_page 

pub fn drives_the_page(stmt: &Stmt<'_>, interner: &Interner) -> bool

Whether stmt acts on a page — a statement the page host carries out (Drive), whatever its operands — rather than one that reads the page or never touches it.