public virtual Alternative GetCurrentOuterMostAlt() { return currentOuterMostAlt; }
public override Alternative GetCurrentOuterMostAlt() { return(controller.GetCurrentOuterMostAlt()); }