1 2 3 4 5 6 7 8 9
% EXPECT: sat x : STRING; y : STRING; ASSERT CONCAT( REVERSE("abc"), "d") = x; ASSERT CONCAT( TOLOWER("ABC"), TOUPPER("abc")) = y; CHECKSAT;