Refines pattern matching
Prefer prefix expressions over applications

Imagine the case !(a || b)
Prefer TmplDefBlockStat over DefBlockStat
Extends pattern matching test