Not according to me. For me, `DifferentialExtension(x**y, y)` raises an error in your branch (and works in master).