Statistics of An algorithmic approach for checking closure properties of temporal logic specifications and ω-regular languages