Remove CVC4 dependency and C in cmake