RkShorten - shorten the reading of the current clause
#include <canna/RK.h>
int RkShorten(cxnum)
int cxnum;
RkShorten shortens the reading of the current clause. It does nothing
when the reading length is reduced to 0.
This function returns the number of clauses after the change.