do not use empty set symbol for empty clause