100644 blob 24b85a0f8910d5708b8cf80c267a9548b21b12d0	Assumenosideeffects.java
100644 blob c34c95cd322ef0373ee1dec689915bebd6c47857	CheckDiscarded.java
100644 blob 9c6b6f73e930250b1acc9745cb267526d143b643	keep-rules-discard.txt
100644 blob d82c2183b88056533d5b1b5990a4ae5ea8414de2	keep-rules.txt