100644 blob d6c96de0c0935716dddbc0d4d4516785dd49824e	A2F.java
100644 blob 800aab15afd470f9225df6e5116c37a7c6d9f0ca	A2FReducer.java
100644 blob 720c50f64b9257412fbf49a8f8f00a5aba482d88	AFConstraint.java
100644 blob 5871c88402773acdc27d269edbb68f0e055e1e59	AFReducer.java
100644 blob a9d1bb3c3b15a0761d4d130a22933615086f403c	AFReducingVisitor.java
100644 blob 74ce873229c869667e2197a8ab761b41930cd534	F2A.java
100644 blob 75dac991d5eda7271597794138cff16560aad1cb	F2AReducer.java
100644 blob dbfec18ffe0c32c3ca9b4e32263c612797970bef	FIsA.java
100644 blob b26e047e56fa0647ad22439384ee47eb840a86d4	FIsAReducer.java
100644 blob 9343baf8374da1b6a6a4a5194c3409bbae4574e4	TIsU.java
100644 blob 9e5bad537acbeff1a8c48bb4840b6f035fd8b542	TSubU.java
100644 blob 44703ca099c27db0738c3c203c20489cc8674581	TSuperU.java
100644 blob 8595cb9d7cc4618c7e2143b68fd5924d69a022e8	TUConstraint.java