extractPTactic (Try t1 t2)        = concatMap extractPTactic [t1, t2]
extractPTactic (Try t1 t2)        = concatMap extractPTactic [t1, t2]
extractPTactic (Try t1 t2)        = concatMap extractPTactic [t1, t2]