100644 blob a629c0d38668b5c9a59c865646cd3fd0785debfc	constant_uniform_facts.cpp
100644 blob 41d253eaf2bba1e1b3cf87689ac7157f562e6a28	constant_uniform_facts.h
100644 blob 44a0851c9190df0e428841d9a9dc51ad36c0fd93	data_synonym_and_id_equation_facts.cpp
100644 blob 46f02d0774859b1834fce59116ba56b0247626d3	data_synonym_and_id_equation_facts.h
100644 blob f3e0ef8e5cf39f2d0745d0190e32bafa385b619a	dead_block_facts.cpp
100644 blob 8ac5c3ca06f8984c088513c01415b3242e602f13	dead_block_facts.h
100644 blob 29050e9ef0081dea3346b477a755d2c90728faad	fact_manager.cpp
100644 blob 78769c10a5f5e0cac211000ba2be5527d21d1a3b	fact_manager.h
100644 blob 07836adda26d471f2cfc12a86180d5f2506c9bb0	irrelevant_value_facts.cpp
100644 blob 9faddc0438766847834d336efcc19e875e010b66	irrelevant_value_facts.h
100644 blob 553ac5793dff7902fdfc31e377d6e83ae7a724a2	livesafe_function_facts.cpp
100644 blob 2156d643d6fb60111c80da6432b7e6df4eca7800	livesafe_function_facts.h