Projected Singular Support Estimate for Real Principal Type Operators on a Smooth Domain