Implement execute_cond.