Added self-contradiction filter in sidebar panel.

Two TODOs left:
(1) trim line width to 80 characters
(2) which function to use in SidebarPanel.java