inductor.contraposition-blocked → inductor.contraposition-blocked