100644 blob 07630b9a54d10fc5ea099c9d073131b491cf532f	Assumenosideeffects.java
100644 blob a249a6d0aab3ac454996302742ca10a750a04753	CheckDiscarded.java
100644 blob 0f51575795f00e71314f8db827a42fcf845777be	keep-rules-discard.txt
100644 blob c158dd6c7c41f58416d921f83561895eafda8ece	keep-rules.txt