Function analog_refusal 

pub fn analog_refusal(
    program: &CompiledProgram,
    ranges: &[AssumedRange],
) -> Option<AnaLowerError>

The fail-closed refusal gate every analog compilation runs FIRST. None means the program clears the gate (an analog region exists, with declared ranges, inside the SoC model).