/** * Prints a variable binding in the form 'Var = value'. * * @param var The variable to print. * * @return The variable binding in the form 'Var = value'. */ public String printVariableBinding(Variable var) { return var.toString(getInterner(), true, false) + " = " + var.getValue().toString(getInterner(), false, true); }