e = C-(-1+A-B)*(-1+C-B)

f = C-(-1+A-B)*(1+B)-(-1+A-B)*(-1+C-B)
degree(C): 1
ldegree(C): 0
ldegree(C) after expand: 1