is_leaf
int is_leaf(struct sm_state *sm);
int have_ctf = 0, is_leaf = 0, nargs, cti = 0;
is_leaf = 1;
if (!have_ctf && !is_leaf) {