If expression can be tested for true or false, returns the modified expression. Otherwise returns ErrorExp.
See Implementation
If expression can be tested for true or false, returns the modified expression. Otherwise returns ErrorExp.