coding sequence splice pattern evidence used in automatic assertion