Operator Strength Reduction From Cooper, Simpson, & Vick, “Operator Strength Reduction”, ACM TOPLAS, 23(5), 1991. See also § 10.7.2 of EaC2e. 1COMP 512,
