Function reachability_solver::etch::terminal

pub fn terminal(a: &[[usize; 2]], b: &mut Vec<[usize; 2]>)

Etches away terminal nodes.