diff --git a/include/phasar/DataFlow/IfdsIde/EdgeFunctionUtils.h b/include/phasar/DataFlow/IfdsIde/EdgeFunctionUtils.h
index dc1b2d816a..4a28b5694c 100644
--- a/include/phasar/DataFlow/IfdsIde/EdgeFunctionUtils.h
+++ b/include/phasar/DataFlow/IfdsIde/EdgeFunctionUtils.h
@@ -52,15 +52,16 @@ template <typename L> struct ConstantEdgeFunction {
     return Value;
   }
 
-  template <std::derived_from<ConstantEdgeFunction<L>> ConcreteEF>
+  template <typename ConcreteEF>
   [[nodiscard]] static EdgeFunction<l_t>
   compose(EdgeFunctionRef<ConcreteEF> This,
-          const EdgeFunction<l_t> &SecondFunction);
+          const EdgeFunction<l_t> &SecondFunction)
+    requires std::derived_from<ConcreteEF, ConstantEdgeFunction<L>>;
 
-  template <std::derived_from<ConstantEdgeFunction<L>> ConcreteEF>
+  template <typename ConcreteEF>
   [[nodiscard]] static EdgeFunction<l_t>
-  join(EdgeFunctionRef<ConcreteEF> This,
-       const EdgeFunction<l_t> &OtherFunction);
+  join(EdgeFunctionRef<ConcreteEF> This, const EdgeFunction<l_t> &OtherFunction)
+    requires std::derived_from<ConcreteEF, ConstantEdgeFunction<L>>;
 
   [[nodiscard]] constexpr bool isConstant() const noexcept { return true; }
 
@@ -441,10 +442,12 @@ EdgeFunction<L> EdgeIdentity<L>::join(EdgeFunctionRef<EdgeIdentity> This,
 }
 
 template <typename L>
-template <std::derived_from<ConstantEdgeFunction<L>> ConcreteEF>
+template <typename ConcreteEF>
 EdgeFunction<L>
 ConstantEdgeFunction<L>::compose(EdgeFunctionRef<ConcreteEF> This,
-                                 const EdgeFunction<L> &SecondFunction) {
+                                 const EdgeFunction<L> &SecondFunction)
+  requires std::derived_from<ConcreteEF, ConstantEdgeFunction<L>>
+{
   if (auto Default = defaultComposeOrNull(This, SecondFunction)) {
     return Default;
   }
@@ -482,10 +485,12 @@ ConstantEdgeFunction<L>::compose(EdgeFunctionRef<ConcreteEF> This,
 }
 
 template <typename L>
-template <std::derived_from<ConstantEdgeFunction<L>> ConcreteEF>
+template <typename ConcreteEF>
 EdgeFunction<L>
 ConstantEdgeFunction<L>::join(EdgeFunctionRef<ConcreteEF> This,
-                              const EdgeFunction<l_t> &OtherFunction) {
+                              const EdgeFunction<l_t> &OtherFunction)
+  requires std::derived_from<ConcreteEF, ConstantEdgeFunction<L>>
+{
   if (auto Default = defaultJoinOrNull<l_t>(This, OtherFunction)) {
     return Default;
   }