Switching to generic exceptions for the symbolic execution visitor just
for tidiness.