100644 blob 0c6c8b800c8019f7300c6c457d3671cc85f1aeac	AssumeValuesForConstantValuedFieldTest.java
100644 blob 4d7e293c6b2a426bb71041be3075afe1d50dc1fd	AssumeValuesForLibraryMethodTest.java
100644 blob eb205d005e47380305756dc235bf19ad1a436e4b	AssumevaluesWithMultipleTargetsTest.java
100644 blob 81d33fc784893d726266702e1d6a7eb34ecb7a29	DeadFieldAfterAssumevaluesTest.java
100644 blob 0d9fa5e6a9b78ea9d0f5ac56cc4baeb7684d8ef6	SynthesizedRulesFromApiLevelTest.java