Wanted: generate more compact code in RESTART-CASE
The attached patch makes RESTART-CASE generate more compact code for restarts which do not accept arguments.
On x86, this results in a core size reduction of ~ 60 Kb. Some user code will be compiled more compactly as well.
There seems to be no measurable change in runtime.