changed expr to CVC4::expr