...
Automated detection of assertion operands that contain locally-visible side effects is straightforward. Some analyses could require programmer assistance to determine which method invocations could contain side effects.
Related Guidelines
Bibliography
...