Enforce right margin
Add EmptyVariablePatternMatcher