Form splitter: correctly deal with renumbered form arguments
Add mixed helmholtz test cast in nonlinear form