Determine whether UNDO-ELT falls inside the region START ... END. If it crosses the edge, we return nil.