Initial support for "x is T.if"