fn __action156<'input>(
    input: &'input str,
    (_, dg, _): (usize, DomainGoal, usize),
    (_, _, _): (usize, &'input str, usize),
    (_, _, _): (usize, &'input str, usize),
    (_, g, _): (usize, Vec<Box<Goal>>, usize)
) -> Clause