Unaliased SSA Consistency Check

Author: LGTM

import SSAConsistency

Description

Performs consistency checks on the SSA construction. This query should have no results.