Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence (Logical Methods in Computer Science, 2022)