silent mutation evidence used in automatic assertion