[FIX] dbm matrix must be resized before being renamed while join/widening/meet/narrowing operations.
[FIX] dbm matrix must be resized before being renamed while join/widening/meet/narrowing operations.

caballa/crab,seahorn/crab,seahorn/crab