in sys/oracle.maude
in sys/prop.maude
in sys/nat-utils.maude
in sys/qid-utils.maude
in sys/printing-modules.maude
in sys/grammar.maude
in sys/abstract-syntax.maude
in sys/meta-substitution.maude
in sys/up-and-down.maude
in sys/abstract-syntax-runtime.maude
in sys/var-utils.maude
in sys/substitution-rules.maude
in sys/runtime-rules.maude
in sys/printing.maude
in sys/context-modules.maude
in sys/constraints.maude
in sys/printing-constraints.maude
in sys/solve-eq.maude
in sys/inference-rules.maude
in sys/preprocessing.maude
in sys/commands.maude
in sys/runtime-prelude.maude
in sys/main.maude

set trace off .
set show advise on .

set trace select on .
set trace whole on .
trace select metaRewrite .
set trace substitution on .
--- set trace condition off .

set print conceal off .
print conceal ctxtmodule .
print conceal mod_is_sorts_._____endm .

loop init .