Likely Bugs/Statements/EmptyBlock.ql