binary expression sema tests