Description of add_meas_clause

ADD MEASURES  "(" (cube_meas)... ")"