In order to ensure that generated LEMS fully captures the original nmodl description, it would be important to simulate cells with both mechanisms and compare the results. A natural (although convoluted) path would be re-generating nmodl for the transpiled LEMS (using org.neuroml.export), adding both mechanisms to a cell in NEURON (with zero max conductance), and run current clamp experiments. Code in https://github.com/borismarin/single-comp-channel-tester could easily be adapted for that.