Corrected small bugs (one for rules that are always true and another one in the display of the implicative graph)