If that “feature” is present in the software does it even need to be proven that it was used? Software with that capability is fraudulent as an honest voting software making elections that use it suspect. It’s akin to back doors in encryption software. There too be used.