Fixed a bug with parenthesis skipping in symbol matcher

(this bug lead to other bugs in the python auto indent).
Merged 'develop'.