fn __action18<'input>( input: &'input str, (_, g1, _): (usize, Box<Goal>, usize), (_, g2s, _): (usize, Vec<Box<Goal>>, usize), ) -> Box<Goal>