Changed the syntax from CVC4::Expr to Expr