state_to_comparison
int state_to_comparison(struct smatch_state *state);
ret = state_to_comparison(state);
state_op = state_to_comparison(state);
op = merge_comparisons(state_to_comparison(s1), state_to_comparison(s2));
op = state_to_comparison(state);
switch (state_to_comparison(state)) {