over expression analysis evidence used in automatic assertion