add cond clause
add error on cond with no true clause