pub fn weaken_implication(sva: &str) -> String
Apply a weakening transformation to an SVA body. Converts overlapping implication to non-overlapping (adds delay).