What types of line-level warnings does Sema analyze?