add diagnostics for "is"