I want to integrate iterations into MonetDB using the barrier symbols provided by MAL (here the  variable list_of_updates is repeated body of the iteration and ex_cond is the exit condition):

=======================================

res_body = stmt_list(sql->sa, list_of_updates);
stmt *s_begin = stmt_begin(sql->sa);
list_append(res_list, s_begin);

list_append(res_list, ex_cond);
stmt *s_check = stmt_check(sql->sa, ex_cond, s_begin);
list_append(res_list, s_check);
list_append(res_list, res_body);
list_append(res_list, stmt_redo(sql->sa, s_check));
list_append(res_list, stmt_exit(sql->sa, s_begin));

return stmt_list(sql->sa, res_list);

========================================

Currently the implementation works, when the exit condition is true, but unfortunately never stops, if the exit condition is false (I assume that this happens due to non-updating computation of ex_cond).

Could you please give the reference point in the documentation or code where I could look to 

check if my assumption is correct?

Or point me to a proper mailing-list if this is the wrong one for such questions? :)

Thank you and best regards, 

Oksana