Provide CBMC-specific concurrency option