Support for "o is T.if" expressions