diff --git a/lib/pddlparse/src/pddlparse/detail/normalization/Reduction.cpp b/lib/pddlparse/src/pddlparse/detail/normalization/Reduction.cpp
index 88dae1f..1abd73d 100644
--- a/lib/pddlparse/src/pddlparse/detail/normalization/Reduction.cpp
+++ b/lib/pddlparse/src/pddlparse/detail/normalization/Reduction.cpp
@@ -312,17 +312,15 @@ void eliminateDoubleNegations(ast::Precondition &precondition)
 	const auto handleNot =
 		[&](ast::NotPointer<ast::Precondition> &not_)
 		{
+			eliminateDoubleNegations(not_->argument);
+
 			if (not_->argument.is<ast::NotPointer<ast::Precondition>>())
 			{
-				eliminateDoubleNegations(not_->argument);
-
 				// As the parent contains the argument, the argument needs to be saved before overwriting the parent
 				// TODO: check whether this workaround can be avoided
 				auto argument = std::move(not_->argument.get<ast::NotPointer<ast::Precondition>>());
 				precondition = std::move(argument);
 			}
-
-			eliminateDoubleNegations(not_->argument);
 		};
 
 	const auto handleOr =