@mbrookhart So I tried the way you suggested and I’m able to rewrite the pattern inside a function. I wonder if it’s also possible to partition and rewrite a pattern across multiple functions? I suspect if this would need the support of the potential FunctionPattern.