fn __action163<'input>(
    input: &'input str,
    (_, wc, _): (usize, WhereClause, usize)
) -> QuantifiedWhereClause