unusedVariables = context.getUnusedVariables(); context.leaveScope();
unusedVariables = context.getUnusedVariables(); context.leaveScope();
unusedVariables = context.getUnusedVariables(); context.leaveScope();
unusedVariables = context.getUnusedVariables(); context.leaveScope();
unusedVariables = context.getUnusedVariables(); context.leaveScope();
unusedVariables = context.getUnusedVariables(); context.leaveScope();