When we run a sanity check on all protocols when creating the stack, we don't take order into account: for example, if NAKACK is above STABLE, we don't throw an exception !