Port tutorial analyses over to simplified spec

> 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 https://github.com/goblint/analyzer/issues/2012#issuecomment-4489245400_