semantic: Emit parameters to correct nested struct and nested param.