dynamic fluorescence quenching evidence used in automatic assertion