Add missing traversal in cvc type analysis