Nimblegen array evidence used in automatic assertion