fn __action418<'input>(
    input: &'input str,
    __0: (usize, DomainGoal, usize),
    __1: (usize, &'input str, usize),
    __2: (usize, &'input str, usize),
    __3: (usize, Vec<Box<Goal>>, usize)
) -> Clause