With boost > 1.55 the implicit cast from boost::optional to bool is not enabled by default
With boost > 1.55 the implicit cast from boost::optional to bool is not enabled by default

caballa/crab,seahorn/crab,seahorn/crab