Statements/SideEffectInAssert.ql