Fixes a crash when re-running an analysis.

Instead, emits an error but continues the analysis with the probably unsound
specification generated by the kernel.
Also prints the callstack when -eva-print-callstacks is enabled.

Only in machdeps defining a positive sizeof_void.

Fails uniformly on sizeof(void) and sizeof applied to expressions of type void.

Cherry-picked from stable/nupw