Remove ValueOfPointerToFILE. All FILE * types should be queried and rendered as DIR * types are, using isValidOpaque().