kroneckerName = contextSettings.getKronecker();
//Optional
regim = contextSettings.getRegim();
metricName = contextSettings.getMetricName();
//Creating parser
parser = new Parser(contextSettings.getParsers());
//Creating symbol converter
symbolConverter = new IndexConverterManager(contextSettings.getConverters());
metricTypes = contextSettings.getMetricTypes();
nameManager = new NameManager(this, contextSettings.getNameManagerSeed());
nameManager.registerNewNameDescriptorListener(new MetricKroneckerListener());