[FIX] check a variable is tracked before being havoc'ed
[FIX] check a variable is tracked before being havoc'ed

caballa/crab-llvm,caballa/crab-llvm,seahorn/crab-llvm,seahorn/crab-llvm,caballa/crab-llvm,seahorn/crab-llvm