Prefixes starting with <Suc>
<Succ>
.
<Sucd>
.
<Such>
.
<Suck>
.
<Suc> (other)
.