apply
Const Var withTimeout
formulaToExpansionTree
expansion
SymbolA
expr
sorry
TacticCommands
sym
Const Var