Characteristic predicate ConsistencyChecks::ExprPushCount::ExprPushCount

ExprPushCount()