pub fn strengthen_implication(sva: &str) -> String
Apply a strengthening transformation to an SVA body. Converts non-overlapping to overlapping (removes delay).