Implement ProhibitLocalVars
Implement ProhibitMatchVars