Statistics for Decidability and Algorithmic Analysis of Dependent Object Types (DOT)