Statistics for Hadez, a framework for the specification and verification of hypermedia applications