Included type checking of test expressions