[FIX] reverted an old change that was producing a compilation error when tests were compiled.
[FIX] reverted an old change that was producing a compilation error when tests were compiled.

seahorn/crab,caballa/crab,seahorn/crab