100644 blob bc1762aa05e59915381e4d0a5d9978f8c2e2cb37	AssumptionsDeducerTest.java
100644 blob 1810c049342085d6a4b03cfa74131d384a827f5c	ConstantsAnalysisTest.java
100644 blob 8f6a6dd75eff2c93b87a4f766918f23f750c2731	ConstantsAnalysisTransformationTest.java
100644 blob cfe35bd5e28a17da9306e8875547a526cdb2289f	ConstantsAssumptionTest.java
100644 blob 86f87e23c5b3cd536c16d29174638fefdd61484f	ExpressionEvaluatorTest.java