/D WITNESS_TRACE
/D GRAMMATECH