So how about define Wild('c') and don't use it in the pattern. Then after the match, 

```
if match:
    match[c] = S.Zero
    if match[b].is_Add:
        ...
```
then delete the first line of the "if by chance" statement and change "separating" to "separate" (?) Would that work?