class deep_auxiliary
{
    %% Generic class for deep auxiliary trees
    <: auxiliary;
    + deep_auxiliary;
}