registerCommand(new ShowModelCommand(this));
registerCommand(new ShowNodeCommand(this));
registerCommand(new ShowSubtreeCommand(this));
registerCommand(new SingleStepCommand(this));
registerCommand(new UnprocessedDisjunctionsCommand(this));
registerCommand(new WaitForCommand(this));
}