If type Queue has an operation called Is_Empty(Queue) and type Stack has an operation called Is_Empty(Stack), and Stack_Template is used by Queue_Template, then calls to Is_Empty(Stack) (and maybe Is_Empty(Queue) as well) fail to type and throw an exception.
