get_strings
slist = get_strings(expr);
struct state_list *get_strings(struct expression *expr);
slist = get_strings(strip_expr(expr->right));
return get_strings(expr->cond_true);
return get_strings(expr->cond_false);
true_strings = get_strings(expr->cond_true);
false_strings = get_strings(expr->cond_false);