Ball sorting benchmark model is broken -> remove it

If I synthesize a supervisor, the controlled system has only 2 states and 3 transitions. The controlled system should have much more behavior. It seems the model is incorrect.