 - `CON41-C`: Refactored to address compiler compatibility issues. More accurate
   modeling of cases where macros are modeled against other macros such as
   `atomic_compare_exchange_weak` and `atomic_store`.
 - `CON40-C`: Refactored to address compiler compatibility issues. More accurate
   modeling of cases where macros are modeled against other macros such as
   `atomic_compare_exchange_weak` and `atomic_store`.