let callHasNoSideEffects : (instr -> bool) ref =
  ref (fun _ -> false)