Revised proof_graph_t::chain to deal with constants in implication rules.
Revised proof_graph_t::enumerate_mutual_exclusion_for_inconsistency to deal with constants in inconsistency rules.
Bug fix.