test append - union - concat - complement - kleene - intersection - pseudoequivalent - tograph - tojflap