Added tests with furhter examples. Also added some experiments combining proof terms and strategies