Fix typos in CVC4 bindings