Constant MPC_AUXILIARY_INVARIANT_LAYER_2 

pub const MPC_AUXILIARY_INVARIANT_LAYER_2: &str = "Auxiliary Invariant 2";