Function validate_and_add_n_corr_proc_constr 

fn validate_and_add_n_corr_proc_constr(
    ctx: &mut TLAParsingContext<'_>,
    rcs: &mut Vec<BooleanExpression<Parameter>>,
    span: Span<'_>,
) -> Result<(), Error>

Validate and remove constraints on special parameter N_CORR_PROC

The function will parse the constraint into an integer expression and add it to the parsing context.