is_call and is_execute are jump instructions.

diff --git a/src/prolog/ast.rs b/src/prolog/ast.rs
index bf5e467ea17b2851d8c119d645a8a7a66067dc0d..a8c9f3766c34b3b726cdfaee163f2f20379542e5 100644 (file)
--- a/src/prolog/ast.rs
+++ b/src/prolog/ast.rs
@@ -756,6 +756,8 @@ impl ControlInstruction {
             &ControlInstruction::ThrowExecute => true,
             &ControlInstruction::Goto(_, _) => true,
             &ControlInstruction::Proceed => true,
+            &ControlInstruction::IsCall(_, _) => true,
+            &ControlInstruction::IsExecute(_, _) => true,
             _ => false
         }
     }