ProSeries treats Form 7203 as merely informational.  It does not 'do' anything.  You need to manually limit Basis by only entering the allowable amounts on the K-1 worksheet, then manually remember to carry the unallowed loss over to next year.

Are you saying that some losses are initially allowed due to some Basis, but then are restricted to non-allowed due to the At-Risk rules?