Update ExtractorVisitor.cs
Update ExtractorVisitor.cs

Removed extra line to simplify pull request merge.
ndykman/CodeContracts,Microsoft/CodeContracts,ndykman/CodeContracts,hubuk/CodeContracts,ndykman/CodeContracts,huoxudong125/CodeContracts,Microsoft/CodeContracts,ndykman/CodeContracts,Microsoft/CodeContracts,huoxudong125/CodeContracts,hubuk/CodeContracts,ndykman/CodeContracts,SergeyTeplyakov/CodeContracts,Microsoft/CodeContracts,SergeyTeplyakov/CodeContracts,hubuk/CodeContracts,hubuk/CodeContracts,hubuk/CodeContracts,huoxudong125/CodeContracts,SergeyTeplyakov/CodeContracts,huoxudong125/CodeContracts,huoxudong125/CodeContracts,huoxudong125/CodeContracts,ndykman/CodeContracts,SergeyTeplyakov/CodeContracts,SergeyTeplyakov/CodeContracts,Microsoft/CodeContracts,SergeyTeplyakov/CodeContracts,hubuk/CodeContracts,hubuk/CodeContracts,ndykman/CodeContracts,Microsoft/CodeContracts,huoxudong125/CodeContracts,Microsoft/CodeContracts,SergeyTeplyakov/CodeContracts