update format.c to support and 1 clause