Use the correct logic in CVC4