Asserted gen.snd.par submodule