T2A
getSubGoals
getRefutes
getAxioms
getConjeture
printPreamble
printAuxSignatures
printSubGoals
printProofBody
printProofWhere
buildProofMap
buildProofTree
parseFile