fixed: gen_cond