CVC4/Extensions