A protocol may add additional provisions to a treaty or else do what