/**
 * @name Static single assignment inconsistencies
 * @description Lists the static single assignment inconsistencies in the database.  This query is intended for internal use.
 * @kind table
 * @id rust/diagnostics/ssa-consistency
 */

import codeql.rust.dataflow.Ssa
import codeql.rust.dataflow.internal.SsaImpl
import Consistency