X(A)
X(B)
X(S)
X(Y)
X(keep)
X(src)
X(whitebox)
X(blackbox)
X(allconst)
X(allseq)
X(anyconst)
X(anyseq)
X(defaultvalue)
X(fsm_encoding)
X(full_case)
X(gclk)
X(initial_top)
X(is_interface)
X(mem2reg)
X(noblackbox)
X(nolatches)
X(nomem2reg)
X(nosync)
X(parallel_case)
X(top)
X(wand)
X(wor)