minor changes: NextImplication Algorithm, Implication Visualization