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