CVC4 merge