CAESAR_TYPE_STRING CAESAR_GATE_LABEL(CAESAR_TYPE_LABEL l) { return strtok(CAESAR_STRING_LABEL(l),"("); }
CAESAR_TYPE_NATURAL CAESAR_CARDINAL_LABEL(CAESAR_TYPE_LABEL l) { return ATgetArity(ATgetSymbol(ATparse(CAESAR_STRING_LABEL(l)))); }
void CAESAR_PRINT_LABEL(CAESAR_TYPE_FILE f,CAESAR_TYPE_LABEL l) { fputs(CAESAR_STRING_LABEL(l), f); }