100644 blob 23e3829a2295da9fe40812e6cc3c278901e9a54b	constant_uniform_facts.cpp
100644 blob a136a0560c8b1c933aaf47b8e4e87f1c9114d0cb	constant_uniform_facts.h
100644 blob 5fc2d7f0ce1eed3223a4befc172173f2e25c9425	data_synonym_and_id_equation_facts.cpp
100644 blob e84632b3845c3f1110c0f0c4afa4ef4d8fa18c0f	data_synonym_and_id_equation_facts.h
100644 blob 5f4f8bc2ac38dd0ba0841829f8edf76365ef218b	dead_block_facts.cpp
100644 blob b2da90bf2833261283a34232f7af1126e8dbd642	dead_block_facts.h
100644 blob 425b0cca425101ba483fe274ce2aed94593d6665	fact_manager.cpp
100644 blob d3758b14e7f78b7aee450f6c63f7b57c9f623866	fact_manager.h
100644 blob ac5ad8b2d800f63cff434546cbb25bf831d45961	irrelevant_value_facts.cpp
100644 blob ad70e6bbb2c46e1944c687d29926e3448cf1d08b	irrelevant_value_facts.h
100644 blob 6f36afb6e9d8e903f4e22440e6617a76e3c1b194	livesafe_function_facts.cpp
100644 blob 8c4850630338de2af0a9aef8b866e3d557c0b98f	livesafe_function_facts.h