Endless debugging and eventually simplification of this.
Updating MiniAIL (some bug fixes and error handling)