"""Clause graph utilities (stub for compatibility).""" def build_clause_graph(clauses): return {} def get_clause_dependencies(clause_name): return []