The problem of permuting the source string to unfold the crossing alignments is computationally intractable (see (Tromble and Eisner, 2009)).
various constraints can be made on unfolding the crossing alignments in a.