Fix synthesis of some configurations (kuznia-rdzeni/coreblocks#750)

transactron/utils/dependencies.py

@@ -138,6 +138,10 @@ def get_dependency(self, key: DependencyKey[Any, U]) -> U:
 
         return val
 
+    def dependency_provided(self, key: DependencyKey) -> bool:
+        """Checks if any dependency for a key is provided (ignores `empty_valid` parameter)"""
+        return key in self.dependencies
+
 
 class DependencyContext:
     stack: list[DependencyManager] = []