Add CVC4 to API usage example