Changed the focus of the "Interleaving" plugin a bit - for the time being, it now focusses on analyzing the specification