Add Searchfilter for Axiomtype

Allow the user to filter axiom types (e.g. assertional axioms, etc) in the possibly faulty formulas.