restriction fragment detection evidence used in automatic assertion