diff --git a/spot/twaalgos/dtbasat.cc b/spot/twaalgos/dtbasat.cc
index b2147ebb4..c4bf3d1bc 100644
--- a/spot/twaalgos/dtbasat.cc
+++ b/spot/twaalgos/dtbasat.cc
@@ -1,5 +1,5 @@
 // -*- coding: utf-8 -*-
-// Copyright (C) 2013-2018, 2021, 2022 Laboratoire de Recherche et
+// Copyright (C) 2013-2018, 2021-2023 Laboratoire de Recherche et
 // Développement de l'Epita.
 //
 // This file is part of Spot, a model checking library.
@@ -77,11 +77,7 @@ namespace spot
           return true;
         if (this->src_ref > other.src_ref)
           return false;
-        if (this->dst_ref < other.dst_ref)
-          return true;
-        if (this->dst_ref > other.dst_ref)
-          return false;
-        return false;
+        return this->dst_ref < other.dst_ref;
       }
 
     };
diff --git a/spot/twaalgos/dtwasat.cc b/spot/twaalgos/dtwasat.cc
index 25a299154..2ecf38fd1 100644
--- a/spot/twaalgos/dtwasat.cc
+++ b/spot/twaalgos/dtwasat.cc
@@ -1,5 +1,5 @@
 // -*- coding: utf-8 -*-
-// Copyright (C) 2013-2022 Laboratoire de Recherche
+// Copyright (C) 2013-2023 Laboratoire de Recherche
 // et Développement de l'Epita.
 //
 // This file is part of Spot, a model checking library.
@@ -98,11 +98,7 @@ namespace spot
           return true;
         if (this->acc_ref > other.acc_ref)
           return false;
-        if (this->acc_cand < other.acc_cand)
-          return true;
-        if (this->acc_cand > other.acc_cand)
-          return false;
-        return false;
+        return this->acc_cand < other.acc_cand;
       }
 
     };
diff --git a/spot/twaalgos/simulation.cc b/spot/twaalgos/simulation.cc
index ca8928888..ed53929b3 100644
--- a/spot/twaalgos/simulation.cc
+++ b/spot/twaalgos/simulation.cc
@@ -1,5 +1,5 @@
 // -*- coding: utf-8 -*-
-// Copyright (C) 2012-2022 Laboratoire de Recherche et Développement
+// Copyright (C) 2012-2023 Laboratoire de Recherche et Développement
 // de l'Epita (LRDE).
 //
 // This file is part of Spot, a model checking library.
@@ -93,13 +93,7 @@ namespace spot
           return true;
         if (states > r.states)
           return false;
-
-        if (edges < r.edges)
-          return true;
-        if (edges > r.edges)
-          return false;
-
-        return false;
+        return edges < r.edges;
       }
 
       inline bool operator>(const automaton_size& r)