100644 blob f27207463e7c0a9974b5b363eb1a2117672076c2	AssumptionsDeducerTest.java
100644 blob d3c36e0f582e0eb50ef7593c4e9e4d43db6cf769	ConstantsAnalysisTest.java
100644 blob 6b7af486b43c605d56e38a685e44367c065e1c51	ConstantsAnalysisTransformationTest.java
100644 blob 5bdedd85b80fd094db6fe6449d1e581c43e4a4d0	ConstantsAssumptionTest.java
100644 blob b5dd87994ebbcf07f10cfebd62adf4a8ef314cd4	ExpressionEvaluatorTest.java