pub fn iterate_assertions( assertions: &[Assertion], highlights: &[(Utf8Point, Utf8Point, Highlight)], highlight_names: &[String], ) -> Result<usize>