Sessionstartbutton remains inactive when no reasoner is selected
When the user starts a session an no reasoner is selected, a message informs the user to select a reasoner but afterwards the start button remains deactivated.
When the user starts a session an no reasoner is selected, a message informs the user to select a reasoner but afterwards the start button remains deactivated.