DIMPLIED
DIMPLIED("%s: implications taking too long: %s\n", __func__, sm_state_info(sm));
DIMPLIED("%s: recursed too far: %s\n", __func__, sm_state_info(sm));
DIMPLIED("%s: remove: %s\n", __func__, sm_state_info(sm));
DIMPLIED("%s: keep %s (%s, %s, %s): %s\n", __func__, sm->state->name,
DIMPLIED("%s: kept all: %s\n", __func__, sm_state_info(sm));
DIMPLIED("%s: removed all: %s\n", __func__, sm_state_info(sm));
DIMPLIED("%s: partial: %s\n", __func__, sm_state_info(sm));
DIMPLIED("checking implications: (%s (%s) %s %s)\n",
DIMPLIED("%d '%s' from line %d is not merged.\n", get_lineno(), sm->name, sm->line);
DIMPLIED("filtering true stack.\n");
DIMPLIED("filtering false stack.\n");