Implement ProhibitUnusedVariables