Adapted the LTLMoP->Slugs format translator to the 'special robotics semantics' in which each possible initial state must be winning for the system in order to call a scenario realizable