void debugTerm(String indent, String state, Term unit) { // print(indent + state + ": " + ExpressionComposer().compose(unit)); }