Enlarge the reading of the current clause
#include <canna/RK.h> int RkEnlarge(cxnum) int cxnum;
RkEnlarge enlarges the reading of the current clause. It does nothing when the reading exceeds a limit length.
This function returns the number of clauses derived by conversion.