100644 blob b7aed82af90ced8f22e8319214c67b145bb13b55	Assumenosideeffects.java
100644 blob 9880dc65134acdce8ee20b011f5210eacc080f96	CheckDiscarded.java
100644 blob cdd4b86d48174e89b1c8a2a3c5fc702b189765d4	keep-rules-discard.txt
100644 blob cb12eb1db1fa2af58d572004bb3bca88ce73520f	keep-rules.txt