Type check assert statements