100644 blob 461859bdecf8aa7dc51b1b453db751db0f8d306f	constant_uniform_facts.cpp
100644 blob 41d253eaf2bba1e1b3cf87689ac7157f562e6a28	constant_uniform_facts.h
100644 blob b43b8edf64fa2070457e5f725aed70f5941df87e	data_synonym_and_id_equation_facts.cpp
100644 blob 36d92ca7b40bcfc802e5993748116341d0501590	data_synonym_and_id_equation_facts.h
100644 blob f3e0ef8e5cf39f2d0745d0190e32bafa385b619a	dead_block_facts.cpp
100644 blob 8ac5c3ca06f8984c088513c01415b3242e602f13	dead_block_facts.h
100644 blob c99f690d5b5d516b9670475a77b8531142af4d6d	fact_manager.cpp
100644 blob 4453e445270041ff0e005ea48b353fd4c98366ec	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