IR Consistency Check

Author: LGTM

import implementation.aliased_ssa.IRConsistency

Description

Performs consistency checks on the Intermediate Representation. This query should have no results.