Language.Fixpoint.Utils.Statistics