CollapseUndoResult

constructor(survivor: Proposition, restored: Proposition)