Statements/StatementNoEffect.ql