higher order Noether identities

Noether's second variational theorem gives a correspondence between symmetries of a Lagrangian and Noether identities, which are relations among the Euler–Lagrange equations.

How about relations among relations among the Euler–Lagrange equations, cf. syzygies?

-