protected void addLabel(String result, String label, boolean isAssoc) { addLabel(result, label, isAssoc, false, false); }
protected void addLabel(String result, String label) { addLabel(result, label, false); }
protected void addLabel(Sort result, String label, boolean isAssoc) { addLabel(result, label, isAssoc, false, false); }
protected void addLabel(Sort result, String label) { addLabel(result, label, false); }