FIX: subtle bug due to compiler-dependent evaluation order of function parameters.
FIX: subtle bug due to compiler-dependent evaluation order of function parameters.

caballa/crab,seahorn/crab,seahorn/crab