public static String toggleTraceSubgoals() {
    if (Logic.$CURRENT_POWERLOOM_FEATURES$.memberP(Logic.KWD_TRACE_SUBGOALS)) {
      {
        Logic.unsetFeature(Cons.cons(Logic.KWD_TRACE_SUBGOALS, Stella.NIL));
        Stella.dropTrace(Cons.cons(Logic.KWD_STRATEGIES, Stella.NIL));
        return ("Subgoal tracing disabled.");
      }
    }
    else {
      {
        Logic.setFeature(Cons.cons(Logic.KWD_TRACE_SUBGOALS, Stella.NIL));
        Stella.addTrace(Cons.cons(Logic.KWD_STRATEGIES, Stella.NIL));
        return ("Subgoal tracing enabled.");
      }
    }
  }