Polyspace R2021a: __top__