Statistics on formulae identifiers and operands