Change Details

The new IR with and removes a use of the input variable, which is better for analysis.

The new IR with And removes a use of the input variable, which is better for analysis.

The new IR with andAnd removes a use of the input variable, which is better for analysis.