/* This idiom was found in Daikon and forces us to handle assignments
 * in conditional mode, such as in the condition of an assert statement. */

public class AssertWithSideEffect {
    void CheckAssert() {
        boolean assert_enabled = false;
        assert (assert_enabled = true);
    }
}