added EmptyStatementCheck