IF statement parser diagnostics and sema