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