public void Push(BranchOption op)
{
BranchOpStack.Push(op);
}
/// <summary>
/// Discard the top item on the stack
/// and replace it with the provided value
/// </summary>
/// <param name="op"></param>
/// <returns></returns>
public void Replace(BranchOption op)
{
Discard();
Push(op);
}
