CommonPriv.AtomicParam
val handle_atomic : bool
Whether to handle SV-COMP atomic blocks (experimental).