bool assert_bug(const char *msg, ...);
void assert_user_bug(const char *msg);
const model_params params;
void add_trace_analysis(TraceAnalysis *a) {
bool assert_bug(const char *msg, ...);
void assert_user_bug(const char *msg);
const model_params params;
void add_trace_analysis(TraceAnalysis *a) {