Search for possible faulty axioms

Implement a search feature where the user can search for axioms in the set of possibly faulty axioms. This feature request depends on #44 (closed).