expression library screen evidence used in automatic assertion