100644 blob 672ed52807f9b57d3261ab3bcb61a423c6cb5295	constant_uniform_facts.cpp
100644 blob 6d052e5046ff8f34639bf17aa67ffa6be55d470a	constant_uniform_facts.h
100644 blob 32c9c758cd763d75df58c5fd049e43edb6c86f5d	data_synonym_and_id_equation_facts.cpp
100644 blob 7b3a21f74e7f606988fb3aca6130bc143befa23b	data_synonym_and_id_equation_facts.h
100644 blob 5f4f8bc2ac38dd0ba0841829f8edf76365ef218b	dead_block_facts.cpp
100644 blob b2da90bf2833261283a34232f7af1126e8dbd642	dead_block_facts.h
100644 blob 3a65ba81707d45db1f36a94f023fe1b4c4ef652f	fact_manager.cpp
100644 blob b899d9f89c5b0b0272c33c47b292d44cbc79d066	fact_manager.h
100644 blob cc4d20d50280f498a054b90b603e43f0c30a3141	irrelevant_value_facts.cpp
100644 blob 71393c55f0557bf22e000da8f85ee25239222579	irrelevant_value_facts.h
100644 blob 6f36afb6e9d8e903f4e22440e6617a76e3c1b194	livesafe_function_facts.cpp
100644 blob 8c4850630338de2af0a9aef8b866e3d557c0b98f	livesafe_function_facts.h