Interface DescriptiveModelCriteria.AtomicFormulaTester<M>