Logical expressions with the language element IS check the state of an operand.
Check assignment to field symbol
Check validity of a reference
Check data object for initial value
Check Output parameter for actual parameter
Check formal parameter for actual parameter