Checagem de tipos no if_stmt.