Formellt sträcker sig alltså de traktatbaserade förpliktelserna inte utanför vad som ligger inom ramen för principen om ställföreträdande rättsskipning .