100644 blob 672ed52807f9b57d3261ab3bcb61a423c6cb5295	constant_uniform_facts.cpp
100644 blob 6d052e5046ff8f34639bf17aa67ffa6be55d470a	constant_uniform_facts.h
100644 blob 877a38c67f43ab62556fc58022480f0f7049ede5	data_synonym_and_id_equation_facts.cpp
100644 blob fb15e2ce8429fab6b6d57eb85e60c18ba58fbe56	data_synonym_and_id_equation_facts.h
100644 blob 86d51af5cfc9f62cc3165b7253bb4acad2282006	dead_block_facts.cpp
100644 blob ca3f71acf64dd079d747f8f153c2a07669511607	dead_block_facts.h
100644 blob b2886bcef58facc5a2d3da53ee86826bbbe2550b	fact_manager.cpp
100644 blob a8268d929f1a54a2586995e0276c346d7f943f9c	fact_manager.h
100644 blob 16146f78038e177da60e4d1095a79b7e0e109351	irrelevant_value_facts.cpp
100644 blob 4e04faf89afcd80e177777a84b8fcff56d92a31c	irrelevant_value_facts.h
100644 blob 6f36afb6e9d8e903f4e22440e6617a76e3c1b194	livesafe_function_facts.cpp
100644 blob 8c4850630338de2af0a9aef8b866e3d557c0b98f	livesafe_function_facts.h