Disable_Controlled is defined for controlled record types. If
active, this aspect causes suppression of all related calls to
Finalize. The intended use is for conditional compilation,
where for example you might want a record to be controlled or not depending on
whether some run-time check is enabled or suppressed.