Some enhancements:   + replaced shallow copy constructor with a deep copy construtor   + added copy constructor using move semantics
Some enhancements:
  + replaced shallow copy constructor with a deep copy construtor
  + added copy constructor using move semantics

seahorn/crab,seahorn/crab