Last of sequence of 'equal' symbols didn't go away in function makebigger.
This held infix-patterns isolated.