El borde del árbol de prueba adopta el estilo de otro borde si se usa mover por dos veces

Question

yo uso el paqueteprooftrees, que se basa en el TikZ. forest​Como tengo que dibujar pruebas con muchas ramas, quiero que algunos nodos estén más bajos, lo cual es compatible con la opción "mover por". Sin embargo, si uso la opción mover por dos veces, parece que la segunda vez que la uso, el estilo del primer borde se usa para llenar el salto dentro del segundo borde.

He simplificado la prueba en el siguiente ejemplo:

\documentclass{article}
\usepackage[utf8]{inputenc}
\usepackage{tikz}
\usepackage{prooftrees}

\begin{document}
\begin{prooftree}{close with=$\times$, single branches=true, align=center}
    [Mary: \neg CatLady \sqcup \exists hasPet.Cat, just={$\sqsubseteq$}
        [Mary: \exists hasPet.Cat, just={$\sqcup$}, close]
        [Mary: \neg CatLady
        [John: \neg CatLady \sqcup \exists hasPet.Cat, just={$\sqsubseteq$}, move by=1, edge=green
        [John: \exists hasPet.Cat, just={$\sqcup$}, edge=dashed
        [(John{, }Y): hasPet{, } Y: Cat, just={$\exists$}, close={$\sqsubseteq$}, move by=2, edge=dashed]
        ]
        ]
        ]
    ]
\end{prooftree}

\end{document}

Eso me da el siguiente resultado:

El borde entre 4 y 5 debe ser discontinuo y completamente negro, pero por alguna razón, hay una parte verde y sólida (que está copiada del borde entre 2 y 3). Al eliminar la opción mover por de cualquiera de los dos bordes, este efecto no ocurre. Además, esto sólo ocurre cuando hay una rama cerrada antes de la primera línea que tiene la opción mover por.

¿Alguien sabe cómo evitar que el estilo del primer borde que usa la opción "mover por" se copie a otros bordes que también usan la opción mover por?

Answer 1

La versión 0.7 de prooftreescorrige este error. La actualización se cargó en CTAN y, por lo tanto, debería estar disponible en breve.

\documentclass[tikz,border=10pt]{standalone}
\usepackage{prooftrees}

\begin{document}
\begin{prooftree}{close with=$\times$, single branches=true, align=center}
    [Mary: \neg CatLady \sqcup \exists hasPet.Cat, just={$\sqsubseteq$}
        [Mary: \exists hasPet.Cat, just={$\sqcup$}, close]
        [Mary: \neg CatLady
        [John: \neg CatLady \sqcup \exists hasPet.Cat, just={$\sqsubseteq$}, move by=1, edge=green
        [John: \exists hasPet.Cat, just={$\sqcup$}, edge=dashed
        [(John{, }Y): hasPet{, } Y: Cat, just={$\exists$}, close={$\sqsubseteq$}, move by=2, edge=dashed, ]
        ]
        ]
        ]
    ]
\end{prooftree}

\end{document}