Finish visitor PTypeExtendedChecker
new visitor VoidExistanceChecker.
New visitor VoidBasisChecker.
Move file VoidExistanseChecker.
Commenting out unused methods - clean up