MzN-Check_RED (1)