100644 blob 94e96f1cfb28b57d96d948589e74d0b54f8ec05e	AssumeValuesForConstantValuedFieldTest.java
100644 blob eb205d005e47380305756dc235bf19ad1a436e4b	AssumevaluesWithMultipleTargetsTest.java
100644 blob 81d33fc784893d726266702e1d6a7eb34ecb7a29	DeadFieldAfterAssumevaluesTest.java
100644 blob fd2696f2ac1eeccb98bf5833ba10442c64ccb41e	SynthesizedRulesFromApiLevelTest.java