Inside CVC4