Function counterexample_waveform 

pub fn counterexample_waveform(counterexample: &[(String, String)]) -> Waveform

Turn a counterexample’s bindings into a waveform. Handles both 1-bit signals (name@t) and bit-blasted multi-bit registers (name@t#i), reconstructing each register’s integer value per timestep from its bits. Signals are sorted by name; each row spans 0..timesteps. Malformed keys (no @t) are skipped.