Added CVC4 bindings