proceed is a jump instruction

src/prolog/ast.rs

@@ -457,6 +457,7 @@ impl ControlInstruction {
             &ControlInstruction::ThrowCall => true,
             &ControlInstruction::ThrowExecute => true,
             &ControlInstruction::Goto(_, _) => true,
+            &ControlInstruction::Proceed => true,
             _ => false
         }
     }

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);
-                    },
+                    },                    
                     _ => {}
                 }