Few changes for the initialization required by boxes domain.
Few changes for the initialization required by boxes domain.

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