(START*)\#ABC$SET(check=true)
|
ABC$TST(check=?*)$SET(#=DEF)
|
(END)\#$SET(check=)

を使っている。

ここまで書いて思ったけど、
(\#ABC$SET(#=DEF))+\#じゃできない?
\#に入るのが100個までっていう制約があるけど(=消せるABCが50個ぐらいまで)。