\renewcommand{\[[TEX_NAME_PREFIX]]premise}[1]{\premiseSTY{#1}}
\renewcommand{\[[TEX_NAME_PREFIX]]usedrule}[1]{\usedruleSTY{#1}}
\renewcommand{\[[TEX_NAME_PREFIX]]drule}[4][]{\druleSTY[#1]{#2}{#3}{#4}}
\renewenvironment{[[TEX_NAME_PREFIX]]defnblock}[3][]{\defnblockSTY[#1]{#2}{#3}}{\enddefnblockSTY}