100644 blob 441745e71b22a3391e8b9390a8cc0469b2774736	AssumeNoSideEffectsRuleRemovesFieldReadTest.java
100644 blob 93dc5c6e929f8bffb6f60a6a013d8fca50bf34d5	AssumenosideeffectsPropagationTest.java
100644 blob e063df12be946180144aa09f1824435ec7710a66	AssumenosideeffectsPropagationWithSuperCallTest.java
100644 blob bc842e5a04816d0672e65485cf4634378e876611	AssumenosideeffectsPropagationWithoutMatchingDefinitionTest.java
100644 blob 24edc401588a08eb15b2b08a5e79c982d095da05	AssumenosideeffectsVisibleMethodsTest.java
100644 blob 58024e2ed21b2e9b60591df826a6ff7b26bf4a8d	AssumenosideeffectsWithMultipleTargetsTest.java
100644 blob 010af23685b198267117cd81f00cec9f9fe15cdc	AssumenosideeffectsWithoutMatchingDefinitionTest.java
100644 blob 51d85f1406b025d62b5091e32e3b7c918ca591e3	StringBuildersAfterAssumenosideeffectsTest.java