added structure Task; added trace flag, official tracing operation; added named CRITICAL'; schedule: tuned signature;
added structure Task;
added trace flag, official tracing operation;
added named CRITICAL';
schedule: tuned signature;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle