We can also push `t1` in `if` condition.

```d
if (Type *t1 = isType(o1))
{
   ...
}
else if (Tuple *u1 = isTuple(o1))
{
   ...
}
```