Auxiliary functions cannot be used if Auxiliary description is defined in a super system

[LorenzoBettini]

Given this first system

system my.test.System1

auxiliary {
    aux(String s) : Integer
}

judgments {
    type |- Object o
}

and this extended system

system my.test.System extends System1

auxiliary aux(String s) { 0 }

axiom TestAxiom G |- Object o

The auxiliary function raises an error since it the auxiliary description from the super system is not checked.

In general, at the moment, an auxiliary function cannot override an auxiliary function from a supersystem (while it is possible to override an auxiliary description).