Add type-check tests for if/if-else.