diff --git a/FlashPlanner.CLI/Program.cs b/FlashPlanner.CLI/Program.cs
index 5e9c941..382e2ae 100644
--- a/FlashPlanner.CLI/Program.cs
+++ b/FlashPlanner.CLI/Program.cs
@@ -36,7 +36,7 @@ public static void Run(Options opts)
             var pddlDecl = new PDDLDecl(domain, problem);
 
             Console.WriteLine("Translating...");
-            var translator = new PDDLToSASTranslator();
+            var translator = new PDDLToSASTranslator(true);
             var sasDecl = translator.Translate(pddlDecl);
 
             Console.WriteLine("Building search engine...");
diff --git a/FlashPlanner.CLI/Properties/launchSettings.json b/FlashPlanner.CLI/Properties/launchSettings.json
index cc36f28..16c31d8 100644
--- a/FlashPlanner.CLI/Properties/launchSettings.json
+++ b/FlashPlanner.CLI/Properties/launchSettings.json
@@ -2,7 +2,7 @@
   "profiles": {
     "FlashPlanner.CLI": {
       "commandName": "Project",
-      "commandLineArgs": "--domain ../../../../Dependencies/downward-benchmarks/rovers/domain.pddl --problem ../../../../Dependencies/downward-benchmarks/rovers/p10.pddl --search \"greedy(hFF())\""
+      "commandLineArgs": "--domain ../../../../Dependencies/downward-benchmarks/logistics00/domain.pddl --problem ../../../../Dependencies/downward-benchmarks/logistics00/probLOGISTICS-14-1.pddl --search \"greedy(hFF())\""
     }
   }
 }
\ No newline at end of file
diff --git a/FlashPlanner.Tests/BasePlannerTests.cs b/FlashPlanner.Tests/BasePlannerTests.cs
index 2f84671..b352e2b 100644
--- a/FlashPlanner.Tests/BasePlannerTests.cs
+++ b/FlashPlanner.Tests/BasePlannerTests.cs
@@ -34,7 +34,7 @@ internal static SASDecl GetSASDecl(string domain, string problem)
                 parser.ParseAs<ProblemDecl>(new FileInfo(problem))
                 );
 
-            var translator = new PDDLToSASTranslator();
+            var translator = new PDDLToSASTranslator(true);
             var decl = translator.Translate(pddlDecl);
 
             _declCache.Add(domain + problem, decl);
diff --git a/FlashPlanner/FlashPlanner.csproj b/FlashPlanner/FlashPlanner.csproj
index 3a2eb43..cf25732 100644
--- a/FlashPlanner/FlashPlanner.csproj
+++ b/FlashPlanner/FlashPlanner.csproj
@@ -15,7 +15,7 @@
 
 	<PropertyGroup>
 		<PackageLicenseFile>LICENSE.txt</PackageLicenseFile>
-		<Version>1.0.8</Version>
+		<Version>1.0.9</Version>
 	</PropertyGroup>
 
 	<PropertyGroup>