Comparison of expert system verification criteria: redundancy