This branch is used for development of the finite model finding mode of CVC4.