/**
 * @id cs/examples/empty-then
 * @name If statements with empty then branch
 * @description Finds 'if' statements where the 'then' branch is
 *              an empty block statement.
 * @tags if
 *       then
 *       empty
 *       conditional
 *       branch
 */

import csharp

from IfStmt i
where i.getThen().(BlockStmt).isEmpty()
select i