get_extra_sm_state
sm = get_extra_sm_state(expr);
struct sm_state *get_extra_sm_state(struct expression *expr);