Fixed instance bug

src/main/java/de/tla2b/TLA2B.java

@@ -62,7 +62,7 @@ public class TLA2B implements TranslationGlobals {
 			System.err.println(e.getMessage());
 			System.exit(-1);
 		}
-		//translator.createMachineFile();
+		translator.createMachineFile();
 		translator.createProbFile();
 	}
 

src/main/java/de/tla2b/analysis/InstanceTransformation.java

@@ -107,7 +107,7 @@ public class InstanceTransformation extends BuiltInOPs implements ASTConstants {
 
 		case StringKind: {
 			StringNode str = (StringNode) n;
-			return new StringNode(str.getTreeNode(), true);
+			return new StringNode(str.getTreeNode(), false);
 		}
 
 		case SubstInKind: {

src/main/java/de/tla2b/config/ModuleOverrider.java

@@ -177,6 +177,7 @@ public class ModuleOverrider extends BuiltInOPs implements ASTConstants {
 		case BuiltInKind:// Buildin operator can not be overridden by in the
 							// configuration file
 			ExprNode[] ins = n.getBdedQuantBounds();
+			if(ins != null){
 				for (int i = 0; i < ins.length; i++) {
 
 					OpApplNode res = visitExprOrOpArgNode(ins[i]);
@@ -184,6 +185,8 @@ public class ModuleOverrider extends BuiltInOPs implements ASTConstants {
 						ins[i] = res;
 					}
 				}
+			}
+
 			break;
 
 		case UserDefinedOpKind: {