Improved proof_graph_t::_check_nodes_coexistency(...) to consider unifiability between given nodes.