Can add here:

    template <class T> void visit(T* unknownStatement);

This guy will catch future subtypes.