Mark-vars also works on desugared ast
More analysis.