Add more evaluations for new CVC4 output