void AddNestingsAsAux(IToken tok)
{
while (tok != null && tok is Dafny.NestedToken)
{
var nt = (Dafny.NestedToken)tok;
tok = nt.Inner;
Aux.Add(new AuxErrorInfo(tok, "Related location"));
}
}
public virtual void AddAuxInfo(IToken tok, string msg, string category = null)
{
Aux.Add(new ErrorInformation.AuxErrorInfo(tok, msg, category));
}