  PROCEDURE [XREF] ocp$apply_corrector (corrector: ^SEQ (*);
        second_inter_ol: ^SEQ (*);
    VAR result: ^SEQ ( * ));

