add shiftexpr tests
add reltexpr tests