fn is_small_path_graph<G: ControlFlowGraph>(g: &G) -> bool