Merge proposals

cvc3 in Ubuntu has no merge proposals.