random mutagenesis evidence used in automatic assertion