added tactic which does some theory exploration for a proof attempt