updates on PatternSyntax.py