__extra_handle_canonical_loops
struct sm_state *__extra_handle_canonical_loops(struct statement *loop, struct stree **stree);
extra_sm = __extra_handle_canonical_loops(stmt, &stree);