fix overeager detection of (->)/2 in if position of (;)/2 (#2183)

diff --git a/src/machine/disjuncts.rs b/src/machine/disjuncts.rs
index e07122655b017cf22fb27f76d1beeb754705aae5..d3fc6a885372b684f77098a5cdc5d19434a49a91 100644 (file)
--- a/src/machine/disjuncts.rs
+++ b/src/machine/disjuncts.rs
@@ -663,12 +663,16 @@ impl VariableClassifier {
                                 state_stack.last(),
                                 Some(TraversalState::RemoveBranchNum)
                             ) {
-                                // check if the second-to-last element is a regular BuildDisjunct, as we don't
-                                // want to add GetPrevLevel in case of a TrustMe.
-                                matches!(
-                                    state_stack.iter().rev().nth(1),
-                                    Some(TraversalState::BuildDisjunct(..))
-                                )
+                                // check if the second-to-last element
+                                // is a regular BuildDisjunct, as we
+                                // don't want to add GetPrevLevel in
+                                // case of a TrustMe.
+                                match state_stack.iter().rev().nth(1) {
+                                    Some(&TraversalState::BuildDisjunct(preceding_len)) => {
+                                        preceding_len + 1 == build_stack.len()
+                                    }
+                                    _ => false,
+                                }
                             } else {
                                 false
                             };