ribosome profiling evidence used in automatic assertion