visit

abstract fun visit(node: BinaryDecisionDiagram.Terminal<T>): E
abstract fun visit(node: BinaryDecisionDiagram.Variable<T>): E