Validation of an expert system: the CBT analyst