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.