class Contracts {

  boolean x;

  public boolean testSideEffect() {
    return x && <warning descr="Condition '!(x = false)' is always 'true' when reached">!(x =<caret> false)</warning>;
  }

}
@@ -186,9 +186,157 @@
 %3E;%0A  %7D%0A%0A
+  public void testSideEffectInsideCall() %7B%0A    if (a()) %7B%0A      System.out.println();%0A    %7D%0A  %7D%0A%0A  private boolean a() %7B%0A    return x = false;%0A  %7D%0A%0A
 %7D

add a test for assignment with side effects inside method calls (IDEA-145401, IDEA-CR-5542)