Statistics for Relif: a relation algebra specification tool