at.logic.gapt.proofs.gaptic
Returns result of first tactical, if there is any, else it returns the result of the second tactical, with the possibility of no result from either.