Improved examples for cvc3. Discovered problem with cvc4 binding