registerCommand(new BreakpointTimeCommand(this));
registerCommand(new ClearCommand(this));
registerCommand(new ContinueCommand(this));
registerCommand(new DerivationTreeCommand(this));
registerCommand(new ExitCommand(this));
registerCommand(new ForeverCommand(this));
registerCommand(new HelpCommand(this));
registerCommand(new HistoryCommand(this));
registerCommand(new IsAncestorOfCommand(this));
registerCommand(new ModelStatsCommand(this));
registerCommand(new NodesForCommand(this));