100644 blob 0c6c8b800c8019f7300c6c457d3671cc85f1aeac	AssumeValuesForConstantValuedFieldTest.java
100644 blob 852409ffd8978e6ca502659b440089d6cc3580fa	AssumeValuesForLibraryMethodTest.java
100644 blob 0caf415ec61dc4707c39abc7987fa230bd759259	AssumeValuesMaterializeFieldReadTest.java
100644 blob eb205d005e47380305756dc235bf19ad1a436e4b	AssumevaluesWithMultipleTargetsTest.java
100644 blob 81d33fc784893d726266702e1d6a7eb34ecb7a29	DeadFieldAfterAssumevaluesTest.java
100644 blob b2f09646cbee51d05fa7dc2e08aa569518808eb7	SynthesizedRulesFromApiLevelTest.java