experimentally evolved mutant phenotypic evidence used in automatic assertion