Bug fix in AIG::copy_from.