ConstraintCastNode::dominating_cast may replace a CheckCastPPNode with a dominating one, potentially loosing not_null_free/not_flat information for array types.

We should investigate if this is really an issue and add a corresponding regression test if so.