Strictness and Totality Analysis