A constraint-separation principle in model predictive control. (November 2020)