modified TICK, QCSP, IS, BRACTICK, POSTPONE, ONLY,