Port tutorial analyses over to simplified spec

[michael-schwarz]

Does it make so much of a difference that we should keep it?

I think it might be good to have it, as the tutorial paper also builds on that interface. I'll try to port the other analyses over at some point.

Originally posted by @michael-schwarz in #2012 (comment)