Added merges-annotation to evaluate-cond