/**
 * @name IR Consistency Check
 * @description Performs consistency checks on the Intermediate Representation. This query should have no results.
 * @kind table
 * @id cpp/ir-consistency-check
 */

import implementation.aliased_ssa.IRConsistency