Client-supplied methods should return NIL.
Specify condition NO-VARIABLE-INFO.
Specify condition NO-FUNCTION-INFO.
Specify condition NO-BLOCK-INFO.
Specify condition NO-TAG-INFO.
Specify that optimize-info must always return a valid instance.