more powerful case_switch inference, works on monomes as long as their difference is a constant
more powerful case_switch inference, works on monomes as long
as their difference is a constant

c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition