• g_interrupted : dreal