sm_state_info
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));
sm_state_info(sm));
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));