Drop the dangerously ugly Injection.to_string
and no string_of_list
Nothing but emacs indenting while reading State
Nothing but emacs indenting while reading SiteGraph
Extract subfunction in find_new_inj in positive update
Nothing but emacs indenting while reading Heap
Nothing but emacs indenting while reading Node