Add CVC4, version 1.4