diff --git a/src/prolog/ast.rs b/src/prolog/ast.rs
index 8ce3e393..2f509fde 100644
--- a/src/prolog/ast.rs
+++ b/src/prolog/ast.rs
@@ -457,6 +457,7 @@ impl ControlInstruction {
             &ControlInstruction::ThrowCall => true,
             &ControlInstruction::ThrowExecute => true,
             &ControlInstruction::Goto(_, _) => true,
+            &ControlInstruction::Proceed => true,
             _ => false
         }
     }
diff --git a/src/prolog/machine.rs b/src/prolog/machine.rs
index c7b5d4c0..f99ae486 100644
--- a/src/prolog/machine.rs
+++ b/src/prolog/machine.rs
@@ -412,11 +412,7 @@ impl Machine {
                     &Line::Control(ref ctrl_instr) if ctrl_instr.is_jump_instr() => {
                         self.record_var_places(cn, alloc_locs, heap_locs);
                         cn += 1;
-                    },
-                    &Line::BuiltIn(BuiltInInstruction::IsAtomic(_))
-                  | &Line::BuiltIn(BuiltInInstruction::IsVar(_)) => {
-                      self.record_var_places(cn, alloc_locs, heap_locs);
-                    },
+                    },                    
                     _ => {}
                 }