Added proof search to the trivial tactic