Край корректурного дерева принимает стиль другого края, если перемещение по нему используется дважды

Question

Я использую пакетprooftrees, который основан на TiкZ forest. Поскольку мне приходится рисовать доказательства со многими ветвями, я хочу, чтобы некоторые узлы были ниже, что поддерживается опцией «перейти по». Однако, если я использую опцию «перейти по» дважды, то, похоже, во второй раз стиль первого ребра используется для заполнения прыжка внутри второго ребра.

Я упростил доказательство в следующем примере:

\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}

Это дает мне следующий результат:

Ребро между 4 и 5 должно быть пунктирным и полностью черным, но по какой-то причине есть зеленая сплошная часть (которая скопирована с ребра между 2 и 3). При удалении опции перемещения с любого из двух ребер этот эффект не возникает. Более того, это происходит только тогда, когда есть закрытая ветвь перед первой линией, которая имеет опцию перемещения.

Кто-нибудь знает, как предотвратить копирование стиля первого ребра, использующего опцию «переместить по», на другие ребра, также использующие опцию «переместить по»?

Answer 1

Версия 0.7 prooftreesисправляет эту ошибку. Обновление было загружено на CTAN и, следовательно, должно быть доступно в ближайшее время.

\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}