case elimination in 'all' parser combinator